Catégories accessibles à produits fibrés
暂无分享,去创建一个
Accessible catégories with (finite) pullbacks are characterized as the catégories of models of spécifie sketches. This is achieved by introducing "free" colimits in Set : such colimits are proved to be exactly those that commute with pullbacks. ZUSAMMENFASSUNG. Erreichbare Kategorien mit (endlichen) Faserprodukten werden als Modellkategorien gewisser Skizzen charakterisiert. Dazu werden "freie" Kolimites in Me eingefïihrt : wir beweisen, daû sie genau diejenigen Kolimites sind, welche mit Faserprodukten kommutieren.
[1] P. Ageron. The logic of structures , 1992 .
[2] R. Guitart,et al. Calcul syntaxique des modèles et calcul des formules internes , 1980 .
[3] C. Lair. Sur le genre d'esquissabilité des catégories modelables (accessibles) possédant les produits de deux , 1996 .