Colimit-dense subcategories

DOI10.14712/1213-7243.2019.021MaRDI QIDQ5218967zbMATH OpenOpenAlexFDO

Authors Jiří Adámek, Tim Campion, Jiří Rosický, A. D. Brooke-Taylor, Leonid Positselski

Publication date 6 March 2020

Published in Commentationes Mathematicae Universitatis Carolinae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1812.10649

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

colimit-dense subcategorydense subcategorylocally presentable categoryVopěnka's principle

Mathematics Subject Classification ID

Large cardinals (03E55) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Accessible and locally presentable categories (18C35)

Abstract: Among cocomplete categories, the locally presentable ones can be defined as those with a strong generator consisting of presentable objects. Assuming Vop{v{e}}nka's Principle, we prove that a cocomplete category is locally presentable iff it has a colimit dense subcategory and a generator consisting of presentable objects. We further show that a $3$-element set is colimit-dense in $Se{t}^{op}$, and spaces of countable dimension are colimit-dense in $Ve{c}^{op}$.

Recommendations

• D-ultrafilters and their monads
• Total categories with generators
• Codensity: Isbell duality, pro-objects, compactness and accessibility
• Unexpected properties of locally presentable categories
• scientific article; zbMATH DE number 2114693
• scientific article; zbMATH DE number 3855352
• A formula for codensity monads and density comonads
• Localisation of locally presentable categories
• Mal'cev conditions revisited
• Codensity and the ultrafilter monad

Cites work

• Adequate subcategories
• Codensity and the ultrafilter monad
• Coproducts and ultrafilters
• Equational completion, model induced triples and pro-objects
• scientific article; zbMATH DE number 1574535 (Why is no real title available?)
• scientific article; zbMATH DE number 3491174 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 3216240 (Why is no real title available?)
• Operations Preserving All Equivalence Relations
• Unexpected properties of locally presentable categories

Cited in

(5)

• Categories in which all strong generators are dense
• A criterion for the existence of subobject classifiers
• D-ultrafilters and their monads
• Fibration category structures induced by enrichments
• Unexpected properties of locally presentable categories

This page was built for publication: Colimit-dense subcategories

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