A Sketch theoretical survey Towards a typology of mathematical structures
Diagrammes (2009)
- Volume: 61-62, page 1-63
- ISSN: 0224-3911
Access Full Article
top
How to cite
topBjerrum, 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- - Coppey, L. [1992]: Esquisses et Types. Paris: Diagrammes, Volume 27, 1992.
- - Coppey, L., Lair, C.[1984]: Leçons de Théorie des Esquisses. Paris: Diagrammes, Volume 12, 1984.
- - Coppey, L., Lair, C. [1988]: Leçons de Théorie des Esquisses. Paris: Diagrammes, Volume 19, 1988.
- - Guitart, R. [1986]: On the geometry of computations. Cahiers de Topologie et Geométrie différentielle Catégorique, Volume XXIX-4, 1986. Zbl0615.18001
- - 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
- - 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.
- - 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.
- - Guitart, R., Lair, C. [1982]: Limites et co-limites pour représenter les formules. Paris: Diagrammes, Volume 7, 1982. Zbl0535.03013
- - Mac Lane, S. [1997]: Categories for the Working Mathematician, Second Edition. Springer 1997.
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.