Quelques aspects de la dualité entre logique et topologie Pierre Ageron (1992) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Qu'est-ce que la logique dans une catégorie ? René Guitart (1982) Cahiers de Topologie et Géométrie Différentielle Catégoriques