×

Accessible categories with non-empty projective limits and accessible categories with finite projective limits. (Catégories accessibles à limites projectives non vides et catégories accessibles à limites projectives finies.) (French) Zbl 0873.18002

The paper gives characterizations of accessible categories which have non empty limits, or finite limits, or non empty finite limits, or finite connected limits, in terms of categories of models in \({\mathcal S}et\) of some particular sketches. For example, a category is \(\beta\)-accessible with non empty limits if and only if it is equivalent to the category of models of some sketch whose projective cones are \(\beta\)-small and inductive cones are empty. A category is accessible with finite limits if and only if it is equivalent to the category of models of a sketch whose inductive cones are filtered.

MSC:

18A25 Functor categories, comma categories
18A35 Categories admitting limits (complete categories), functors preserving limits, completions
PDF BibTeX XML Cite
Full Text: EuDML

References:

[1] J. ADÁMEK, From Scott domains to Scott-complete categories, résumé d’une conférence donnée au Cambridge Summer Meeting in Category Theory le 7 août 1995 (2 pages)
[2] P. AGERON, The logic of structures, Journal of Pure and Applied Algebra 79 ( 1992) 15-34 Zbl0763.18001 MR1164119 · Zbl 0763.18001
[3] Y. DIERS, Catégories localement multiprésentables, Archiv der Mathematik 34 ( 1980) 344-356 Zbl0432.18006 MR593951 · Zbl 0432.18006
[4] P. GABRIEL und F. ULMER, Lokal präsentierbare Kategorien, Lecture Notes in Mathematics 221 (Springer, 1971) Zbl0225.18004 MR327863 · Zbl 0225.18004
[5] R. GUITART et C. LAIR, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4 ( 1980) 1-106 Zbl0508.03030 MR684746 · Zbl 0508.03030
[6] R. GUITART, On the geometry of computations, Cahiers de Topologie et de Géométrie Différentielle Catégoriques XXVII ( 1986) 107-136 Zbl0615.18001 MR885373 · Zbl 0615.18001
[7] C. LAIR, Catégories modelables et catégories esquissables, Diagrammes 7 ( 1981) L1-L20 Zbl0522.18008 MR684535 · Zbl 0522.18008
[8] C. LAIR, Diagrammes localement libres, extensions de corps et théorie de Galois, Diagrammes 10 ( 1983) L1-L17 Zbl0569.18001 MR780448 · Zbl 0569.18001
[9] C. LAIR, Catégories qualifiables et catégories esquissables, Diagrammes 17 ( 1987) 1-153 Zbl0624.18003 MR918001 · Zbl 0624.18003
[10] F. LAMARCHE, Modelling polymorphism with categories, thesis, McGill University, Montréal, 1988 MR2637300
[11] M. ARTIN, A. GROTHENDIECK et J.-L. VERDIER, Théorie des topos et cohomologie étale des schémas, Lecture Notes in Mathematics 269 (Springer, 1972) MR354653 · Zbl 0234.00007
[12] A. SOLIAN and T.M. VISWANATHAN, Pluriad-joints and the preservation of finite limits, Journal of Pure and Applied Algebra 65 ( 1990) 69-90 Zbl0702.18001 MR1065064 · Zbl 0702.18001
[13] P. TAYLOR, Locally finitely polypresentable categories, manuscript, Imperial College, London, 1990
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.