@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},
year = {2009},
publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
volume = {61-62},
language = {en},
url = {https://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 - https://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 https://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, A Sketch theoretical survey Towards a typology of mathematical structures, 61-62 (2009), pp. 1-63. https://www.numdam.org/item/DIA_2009__61-62__1_0/
- [1992]: Esquisses et Types. Paris: Diagrammes, Volume 27, 1992.
- [1984]: Leçons de Théorie des Esquisses. Paris: Diagrammes, Volume 12, 1984.
- [1988]: Leçons de Théorie des Esquisses. Paris: Diagrammes, Volume 19, 1988.
- 1986]: On the geometry of computations. Cahiers de Topologie et Geométrie différentielle Catégorique, Volume XXIX-4, 1986.
- [1988]: On the geometry of computations II. Cahiers de Topologie et Geométrie différentielle Catégorique, Volume XXVII-4, 1988.
- [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.
- [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.
- [1982]: Limites et co-limites pour représenter les formules. Paris: Diagrammes, Volume 7, 1982.
- [1997]: Categories for the Working Mathematician, Second Edition. Springer 1997.





