Locally coherent exact categories (2311.02418v4)
Abstract: A locally coherent exact category is a finitely accessible additive category endowed with an exact structure in which the admissible short exact sequences are the directed colimits of admissible short exact sequences of finitely presentable objects. We show that any exact structure on a small idempotent-complete additive category extends uniquely to a locally coherent exact structure on the category of ind-objects; in particular, any finitely accessible category has the unique maximal and the unique minimal locally coherent exact category structures. All locally coherent exact categories are of Grothendieck type in the sense of Stovicek. We also discuss the canonical embedding of a small exact category into the abelian category of additive sheaves in connection with the locally coherent exact structure on the ind-objects, and deduce two periodicity theorems as applications.
- S. Henry. When does Indκ(CI)≃Indκ(C)I\operatorname{Ind}_{\kappa}(C^{I})\simeq\operatorname{Ind}_{\kappa}(C)^{I}roman_Ind start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT ( italic_C start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT ) ≃ roman_Ind start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT ( italic_C ) start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT? Electronic preprint arXiv:2307.06664 [math.CT].
- L. Positselski. Generalized periodicity theorems. Electronic preprint arXiv:2301.00708 [math.RA].
- L. Positselski. Exact DG-categories and fully faithful triangulated inclusion functors. Electronic preprint arXiv:2110.08237 [math.CT].
- L. Positselski. Flat comodules and contramodules as directed colimits, and cotorsion periodicity. Electronic preprint arXiv:2306.02734 [math.RA].
- L. Positselski. Notes on limits of accessible categories. Electronic preprint arXiv:2310.16773 [math.CT].
- L. Positselski, J. Št’ovíček. Coderived and contraderived categories of locally presentable abelian DG-categories. Electronic preprint arXiv:2210.08237 [math.CT].
- J. Št’ovíček. On purity and applications to coderived and singularity categories. Electronic preprint arXiv:1412.1615 [math.CT].