A Sketch theoretical survey Towards a typology of mathematical structures
Diagrammes, Tome 61-62 (2009), pp. 1-63.
@article{DIA_2009__61-62__1_0,
     author = {Bjerrum, Marie},
     title = {A {Sketch} theoretical survey {Towards} a typology of mathematical structures},
     journal = {Diagrammes},
     pages = {1--63},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {61-62},
     year = {2009},
     language = {en},
     url = {http://www.numdam.org/item/DIA_2009__61-62__1_0/}
}
TY  - JOUR
AU  - Bjerrum, Marie
TI  - A Sketch theoretical survey Towards a typology of mathematical structures
JO  - Diagrammes
PY  - 2009
SP  - 1
EP  - 63
VL  - 61-62
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://www.numdam.org/item/DIA_2009__61-62__1_0/
LA  - en
ID  - DIA_2009__61-62__1_0
ER  - 
%0 Journal Article
%A Bjerrum, Marie
%T A Sketch theoretical survey Towards a typology of mathematical structures
%J Diagrammes
%D 2009
%P 1-63
%V 61-62
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://www.numdam.org/item/DIA_2009__61-62__1_0/
%G en
%F DIA_2009__61-62__1_0
Bjerrum, Marie. A Sketch theoretical survey Towards a typology of mathematical structures. Diagrammes, Tome 61-62 (2009), pp. 1-63. http://www.numdam.org/item/DIA_2009__61-62__1_0/

- 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.

- Guitart, R. [1988]: On the geometry of computations II. Cahiers de Topologie et Geométrie différentielle Catégorique, Volume XXVII-4, 1988.

- 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.

- Mac Lane, S. [1997]: Categories for the Working Mathematician, Second Edition. Springer 1997.