On sifted colimits in the presence of pullbacks

MaRDI QIDQ5019078zbMATH OpenFDO

Authors Ruiyuan Chen

Publication date 29 December 2021

Full work available at URL https://arxiv.org/abs/2109.12708, http://www.tac.mta.ca/tac/volumes/37/35/37-35abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

exact categoryfree cocompletionreflexive coequalizersifted colimit

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Accessible and locally presentable categories (18C35) Regular categories, Barr-exact categories (18E08)

Abstract: We show that in a category with pullbacks, arbitrary sifted colimits may be constructed as filtered colimits of reflexive coequalizers. This implies that "lex sifted colimits", in the sense of Garner--Lack, decompose as Barr-exactness plus filtered colimits commuting with finite limits. We also prove generalizations of these results for $kappa$-small sifted and filtered colimits, and their interaction with $lambda$-small limits in place of finite ones, generalizing Garner's characterization of algebraic exactness in the sense of Ad'amek--Lawvere--Rosick'y. Along the way, we prove a general result on classes of colimits, showing that the $kappa$-small restriction of a saturated class of colimits is still "closed under iteration".

Recommendations

• scientific article; zbMATH DE number 5934744
• Lex colimits
• scientific article; zbMATH DE number 1560717
• A characterisation of algebraic exactness
• Notes on commutation of limits and colimits

Cites work

• A characterisation of algebraic exactness
• A classification of accessible categories
• Accessible Categories: The Foundations of Categorical Model Theory
• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Class-locally presentable and class-accessible categories
• Higher Topos Theory (AM-170)
• How algebraic is algebra?
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1463530 (Why is no real title available?)
• scientific article; zbMATH DE number 1560717 (Why is no real title available?)
• scientific article; zbMATH DE number 5934744 (Why is no real title available?)
• scientific article; zbMATH DE number 2236038 (Why is no real title available?)
• Lex colimits
• Limits of small functors
• Notions of Lawvere theory
• On algebraically exact categories and essential localizations of varieties
• The closure of a class of colimits
• The heart of a combinatorial model category
• The symmetric topos

Cited in

(4)

• Virtual concepts in the theory of accessible categories
• scientific article; zbMATH DE number 1560717 (Why is no real title available?)
• scientific article; zbMATH DE number 5934744 (Why is no real title available?)
• Filtered colimit elimination from Birkhoff's variety theorem

This page was built for publication: On sifted colimits in the presence of pullbacks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5019078)