Qu'est-ce que la logique dans une catégorie ?
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 23 (1982) no. 2, p. 115-148
@article{CTGDC_1982__23_2_115_0,
     author = {Guitart, Ren\'e},
     title = {Qu'est-ce que la logique dans une cat\'egorie ?},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {23},
     number = {2},
     year = {1982},
     pages = {115-148},
     zbl = {0496.18002},
     mrnumber = {667394},
     language = {fr},
     url = {http://www.numdam.org/item/CTGDC_1982__23_2_115_0}
}
Guitart, René. Qu'est-ce que la logique dans une catégorie ?. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 23 (1982) no. 2, pp. 115-148. http://www.numdam.org/item/CTGDC_1982__23_2_115_0/