Catégories qualifiables et catégories esquissables
C. Lair (1987)
Diagrammes
Similarity:
Displaying similar documents to “Existence de diagrammes localement libres”
Catégories qualifiables et catégories esquissables
Lax-co-limites structurées
C. Lair (1988)
Diagrammes
Similarity:
Diagrammes structurés de modèles
C. Lair (1987)
Diagrammes
Similarity:
Catégories accessibles à limites projectives non vides et catégories accessibles à limites projectives finies
P. Ageron (1995)
Diagrammes
Similarity:
Esquisses inductives et presque inductives
Pierre Ageron (2001)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Sémantique catégorique des types : comprendre le système F
Pierre Argeron (1988)
Diagrammes
Similarity:
Extensions de théories de Lawvere. Thèse de doctorat de mathématiques
Monique Mathieu (1991)
Diagrammes
Similarity: