Abstract
Locally presentable categories are precisely those complete categories which have a small dense subcategory. Every subcategory of a locally presentable category (i) has a small dense subcategory, (ii) if it is closed under limits, then it is locally presentable and (iii) if it is closed under colimits, then it is coreflective. For density, canonical colimits can be substituted by arbitrary colimits.
The above results hold under the assumption of the set-theoretical Vopenka's Principle; in fact, each of them is logically equivalent to that principle.
Similar content being viewed by others
References
Adámek, J.,Classification of concrete categories. Houston J. Math12 (1986), 305–326.
Adámek, J.,Herrlich, H. andReiterman, J.,Cocompleteness almost implies completeness. To appear.
Adámek, J., Rosický, J. andTrnková, V.,Are all limit-closed subcategories of locally presentable categories reflective? Proc. Categ. Conf. Louvain-La-Neuve 1987, Lecture Notes in Math. 1348. Springer-Verlag, Berlin-Heidelberg-New York, 1988, pp. 1–18.
Fisher, E. R.,Vopenka's Principle, Category Theory and Universal Algebra. Notices Amer. Math. Soc.24 (1977), A-44.
Fisher, E. R.,Vopenka's Principle, universal algebra, and category theory. Preprint 1987.
Gabriel, P. andUlmer, F.,Lokal präsentierbare Kategorien, Lect. Notes Math. 221. Springer-Verlag, New York, 1971.
Herrlich H. andStrecker, G. E.,Category Theorey. Allyn and Bacon, Boston, 1973.
Isbell, J. R.,Adequate subcategories. Illinois J. Math.4(1960), 541–552.
Jech, T.,Set Theory. Academic Press, New York, 1978.
MacLane, S.,Categories for the Working Mathematician. Springer-Verlag, New York, 1971.
Makkai, M. andParé, R.,Accessible categories: The foundations of categorical model theory. McGill University, Montreal, 1987.
Kennison, J. F.,On limit-preserving functors. Illinois J. Math.11 (1967), 404–409.
Lair, C.,Catégories modelables et catégories esquissables. Diagrammes6(1981).
Pultr, A. andTrnková, V.,Combinatorial, Algebraic and Topological Representations of Groups, Semigroups and Categories. North-Holland, Amsterdam, 1980.
Author information
Authors and Affiliations
Additional information
In Memory of Evelyn Nelson
Rights and permissions
About this article
Cite this article
Rosický, J., Trnková, V. & Adámek, J. Unexpected properties of locally presentable categories. Algebra Universalis 27, 153–170 (1990). https://doi.org/10.1007/BF01182450
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01182450