A Sketch theoretical survey Towards a typology of mathematical structures

Marie Bjerrum

Diagrammes (2009)

  • Volume: 61-62, page 1-63
  • ISSN: 0224-3911

How to cite

top

Bjerrum, Marie. "A Sketch theoretical survey Towards a typology of mathematical structures." Diagrammes 61-62 (2009): 1-63. <http://eudml.org/doc/272976>.

@article{Bjerrum2009,
author = {Bjerrum, Marie},
journal = {Diagrammes},
language = {eng},
pages = {1-63},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {A Sketch theoretical survey Towards a typology of mathematical structures},
url = {http://eudml.org/doc/272976},
volume = {61-62},
year = {2009},
}

TY - JOUR
AU - Bjerrum, Marie
TI - A Sketch theoretical survey Towards a typology of mathematical structures
JO - Diagrammes
PY - 2009
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 61-62
SP - 1
EP - 63
LA - eng
UR - http://eudml.org/doc/272976
ER -

References

top
  1. - Coppey, L. [1992]: Esquisses et Types. Paris: Diagrammes, Volume 27, 1992. 
  2. - Coppey, L., Lair, C.[1984]: Leçons de Théorie des Esquisses. Paris: Diagrammes, Volume 12, 1984. 
  3. - Coppey, L., Lair, C. [1988]: Leçons de Théorie des Esquisses. Paris: Diagrammes, Volume 19, 1988. 
  4. - Guitart, R. [1986]: On the geometry of computations. Cahiers de Topologie et Geométrie différentielle Catégorique, Volume XXIX-4, 1986. Zbl0615.18001
  5. - Guitart, R. [1988]: On the geometry of computations II. Cahiers de Topologie et Geométrie différentielle Catégorique, Volume XXVII-4, 1988. Zbl0668.18009
  6. - Guitart, R. [2002]: Toute théorie est algébrique. Journée mathématique en l'honneur d'Albert Burroni: Catégories, Théories algébrique et informatique, le Vendredi 20 septembre 2002, à l'Université Paris VII, p. 79-102. 
  7. - Guitart, R. [1981]: Introduction à l'analyse algébrique. II. Algèbres figuratives et esquisses. Journées ATALA AFCET: Arbres en linguistique, un modèle informatique; 26-27 nov. 1981, Paris. 
  8. - Guitart, R., Lair, C. [1982]: Limites et co-limites pour représenter les formules. Paris: Diagrammes, Volume 7, 1982. Zbl0535.03013
  9. - Mac Lane, S. [1997]: Categories for the Working Mathematician, Second Edition. Springer 1997. 

NotesEmbed ?

top

You must be logged in to post comments.