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:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Catégories de Peano et catégories algorithmiques, récursivité”
Axiomatisation de la catégorie des catégories
Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles
Albert Burroni (1986)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Leçons commentées sur les monades
L. Coppey (1995)
Diagrammes
Similarity:
Structures algébriques : thème et variations
E. Burroni, A. Burroni (1992)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
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:
Théories algébriques et extension de préfaisceaux
Laurent Coppey (1972)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Théorie des catégories semi-abéliennes
Jacques Riguet (1968-1969)
Séminaire Dubreil. Algèbre et théorie des nombres
Similarity: