×

Inductive and nearly inductive sketches. (Esquisses inductives et presque inductives.) (French) Zbl 0997.18003

A sketch is a small category \({\mathcal E}\) equipped with a set \(\Gamma\) of projective or inductive cônes. It is called projective, inductive, nearly inductive if \(\Gamma\) is a set of projective cônes, a set of inductive cônes, or a set of cônes whose projective ones have empty base, respectively. The category \({\mathcal M}od({\mathcal E})\) of models of \({\mathcal E}\) in \({\mathcal S}et\) is the full subcategory of \({\mathcal S}et^{\mathcal E}\) whose objects send the distinguished projective (resp. inductive) cônes on limits (resp. colimits), and is well known to be an accessible category.
It is proved that the category \({\mathcal M}od({\mathcal E})\) of models of a nearly inductive sketch is multicomplete, i.e., has multilimits. Let us recall that a multilimit of a small diagram \(\delta:{\mathcal D}\to{\mathcal A}\) in a category \({\mathcal A}\), is a small family of projective cones \((\lambda_i:L_i \to\delta)_{i\in I}\) of \({\mathcal A}\) based on \(\delta\), such that, for any object \(A\) of \({\mathcal A}\), we have \(\text{Hom}_{\mathcal A} (A,\delta) \simeq \coprod_{i\in I}\text{Hom}_{\mathcal A}(A,L_i)\) in a natural way. As a consequence, any nearly inductive sketch is equivalent to a special projective sketch. Specific examples are given.

MSC:

18C30 Sketches and generalizations
18A10 Graphs, diagram schemes, precategories
18A35 Categories admitting limits (complete categories), functors preserving limits, completions
18C35 Accessible and locally presentable categories

Citations:

Zbl 0997.18001
PDFBibTeX XMLCite
Full Text: Numdam EuDML

References:

[1] J. Adámek and J. Rosický , Locally presentable and accessible categories , Cambridge University Press ( 1994 ), MR 1294136 | Zbl 0795.18007 · Zbl 0795.18007
[2] J. Adámek and J. Rosicky , On geometric and finitary sketches , Applied categorical structures 4 ( 1996 ) 227 - 240 MR 1406100 | Zbl 0855.18005 · Zbl 0855.18005
[3] P. Ageron , Limites projectives conditionnelles dans les catégories accessibles , Diagrammes 38 ( 1997 ) 3 - 18 Numdam | MR 1677283 | Zbl 0916.18002 · Zbl 0916.18002
[4] P. Ageron , Limites inductives point par point dans les catégories accessibles, à paraître dans Theory and Applications of Categories Zbl 0983.18005 · Zbl 0983.18005
[5] P. Ageron , Sur les catégories accessibles multicomplètes , à paraître dans Journal of Pure and Applied Algebra Zbl 0997.18001 · Zbl 0997.18001
[6] P. Ageron , L’art de l’esquisse (3): esquisse d’endosurjection, rapport de recherche , Université de Caen ( 2000 ), 5 p.
[7] R. Guitart , On the geometry of computations , Cahiers de topologie et de géométrie différentielle XXVII ( 1988 ) 107 - 136 Numdam | MR 885373 | Zbl 0615.18001 · Zbl 0615.18001
[8] C. Lair , Catégories qualifiables et catégories esquissables , Diagrammes 17 ( 1987 ) 1 - 153 Numdam | MR 918001 | Zbl 0624.18003 · Zbl 0624.18003
[9] C. Lair , Esquissabilité des catégories modelables (accessibles) possédant un objet terminal , Diagrammes 35 ( 1996 ) 3 - 23 Numdam | MR 1601886 | Zbl 0899.18002 · Zbl 0899.18002
[10] M. Makkai and R. Paré , Accessible categories: the foundations of categorical model theory , American Mathematical Society ( 1989 ) MR 1031717 | Zbl 0703.03042 · Zbl 0703.03042
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.