Axiomatisation de la catégorie des catégories
G. Blanc, M. R. Donnadieu (1976)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Displaying similar documents to “Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles”
Axiomatisation de la catégorie des catégories
Catégorification de structures définies par monade cartésienne
D. Bourn, J. Penon (2005)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
La tour de fibrations exactes des -catégories
Dominique Bourn (1984)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Variations sur un thème de Yoneda
R. Lavendhomme (1974)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes
C. Oriat (1998)
Diagrammes
Similarity:
Décompositions et catégories de relations
L. Coppey, R. Davar-Panah (1975)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Sur la réfutabilité
Jean-Pierre Barthélémy (1974)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: