REVIEW 1 cited by
Notes on limits of accessible categories
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
abstract
Let $\kappa$ be a regular cardinal, $\lambda<\kappa$ be a smaller infinite cardinal, and $\mathsf K$ be a $\kappa$-accessible category where colimits of $\lambda$-indexed chains exist. We show that various category-theoretic constructions applied to $\mathsf K$, such as the inserter and the equifier, produce $\kappa$-accessible categories $\mathsf E$ again, and the most obvious expected description of the full subcategory of $\kappa$-presentable objects in $\mathsf E$ in terms of $\kappa$-presentable objects in $\mathsf K$ holds true. In particular, if $\mathsf C$ is a $\kappa$-small category, then the category of functors $\mathsf C\rightarrow\mathsf K$ is $\kappa$-accessible, and its $\kappa$-presentable objects are precisely all the functors from $\mathsf C$ to the $\kappa$-presentable objects of $\mathsf K$. We proceed to discuss the preservation of $\kappa$-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.
Forward citations
Cited by 1 Pith paper
-
Localizing invariants of inverse limits
Continuous K-theory of nuclear modules on Spf(R^hat_I) is isomorphic to lim_n K(R/I^n), via internal projectivity and strongly Mittag-Leffler inverse sequences.
Discussion (0). Continue with ORCID to comment.