×

On the class of sketchability of modelizable (accessible) categories with terminal object. (Sur le genre d’esquissabilité des catégories modelables (accessibles) possédant un objet terminal.) (French) Zbl 0899.18002

The modelizable categories used in the paper are also called sketchable categories or accessible categories. The modelizable categories which have a terminal object are characterized up to an equivalence of categories. They are proved to be the categories of models in \({\mathcal S}et\) of some small sketch whose distinguished co-cones are non-empty connected.

MSC:

18B99 Special categories
18A30 Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)
18A10 Graphs, diagram schemes, precategories
18A25 Functor categories, comma categories
PDFBibTeX XMLCite
Full Text: EuDML

References:

[1] C. Lair, Catégories modelables et catégories esquissables. Diagrammes 6. Paris. 1981. Zbl0522.18008 MR684535 · Zbl 0522.18008
[2] R. Guitart et C. Lair. Calcul syntaxique des modèles et calcul des formules internes. Diagrammes 4, Paris, 1980. Zbl0508.03030 MR684746 · Zbl 0508.03030
[3] C. Lair, Catégories qualifiables et catégories esquissables. Diagrammes 17. Paris. 1987. Zbl0624.18003 MR918001 · Zbl 0624.18003
[4] C. Lair, Diagrammes localement libres, extensions de corps et théorie de Galois. Diagrammes 10, Paris, 1983. Zbl0569.18001 MR780448 · Zbl 0569.18001
[5] C. Ehresmann, Esquisses et types des structures algébriques. Bul. Instit Polit Iasi. XIV. 1968. Zbl0196.03102 · Zbl 0196.03102
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.