Qu'est-ce que la logique dans une catégorie ?
René Guitart (1982)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Displaying similar documents to “Carrés exacts et carrés déductifs”
Qu'est-ce que la logique dans une catégorie ?
Exactitude dans les Yoneda-structures
Luc Van den Bril (1982)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Symétrisations de catégories - I : généralités
Marco Grandis (1975)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Construction de théories d'exactitude
Luc Van den Bril (1986)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Calcul des satellites et présentations des bimodules à l'aide des carrés exacts (2e partie)
René Guitart, Luc Van den Bril (1983)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
L'unité de la théorie des modèles et de l'algèbre homologique
René Guitart (1989)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Critères de rigidification des morphismes souples entre structures internes
R. Guitart, C. Lair (1981)
Diagrammes
Similarity: