Qu'est-ce que la logique dans une catégorie ? René Guitart (1982) Cahiers de Topologie et Géométrie Différentielle Catégoriques