Notes on limits of accessible categories
Abstract
Let be a regular cardinal, be a smaller infinite cardinal, and be a -accessible category where colimits of -indexed chains exist. We show that various category-theoretic constructions applied to , such as the inserter and the equifier, produce -accessible categories again, and the most obvious expected description of the full subcategory of -presentable objects in in terms of -presentable objects in holds true. In particular, if is a -small category, then the category of functors is -accessible, and its -presentable objects are precisely all the functors from to the -presentable objects of . We proceed to discuss the preservation of -accessibility by conical pseudolimits, lax and oplax limits, and weighted pseudolimits. The results of this paper go back to an unpublished 1977 preprint of Ulmer. Our motivation comes from the theory of flat modules and flat quasi-coherent sheaves.
Keywords
Cite
@article{arxiv.2310.16773,
title = {Notes on limits of accessible categories},
author = {Leonid Positselski},
journal= {arXiv preprint arXiv:2310.16773},
year = {2024}
}
Comments
LaTeX 2e with xy-pic; 35 pages, 40 commutative diagrams; v.2: new Sections 0.6 and 7-9 inserted, Remark 10.8 inserted, proof of Proposition 4.2 expanded, references added; v.3: reference [26] added