Accessible categories with a class of limits

DOI10.1016/J.JPAA.2023.107444MaRDI QIDQ6051098zbMATH OpenOpenAlexFDO

Authors Stephen Lack, Giacomo Tendas

Publication date 19 September 2023

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

accessible categoriesenriched categorieslocally multipresentablelocally polypresentablelocally presentable categoriesweakly reflective categories

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Sketches and generalizations (18C30) Accessible and locally presentable categories (18C35) Enriched categories (over closed or monoidal categories) (18D20)

Abstract: In this paper we characterize those accessible $mathcalV$-categories that have limits of a specified class. We do this by introducing the notion of companion $mathfrakC$ for a class of weights $Psi$, as a collection of special types of colimit diagrams that are compatible with $Psi$. We then characterize the accessible $mathcalV$-categories with $Psi$-limits as those accessibly embedded and $mathfrakC$-virtually reflective in a presheaf $mathcalV$-category, and as the $mathcalV$-categories of $mathfrakC$-models of sketches. This allows us to recover the standard theorems for locally presentable, locally multipresentable, and locally polypresentable categories as instances of the same general framework. In addition, our theorem covers the case of any weakly sound class $Psi$, and provides a new perspective on the case of weakly locally presentable categories.

Recommendations

• Class-locally presentable and class-accessible categories
• Virtual concepts in the theory of accessible categories
• scientific article; zbMATH DE number 1264287
• A classification of accessible categories
• scientific article; zbMATH DE number 672104

Cites work

• V-Cat is locally presentable or locally bounded if V is so
• A 2-categories companion
• A classification of accessible categories
• Accessibility and presentability in 2-categories
• Adjoint functor theorems for homotopically enriched categories
• Categories localement multipresentables
• Enriched regular theories
• Enriched weakness
• Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
• Flat and coherent functors
• Flat vs. filtered colimits in the enriched context
• scientific article; zbMATH DE number 3855352 (Why is no real title available?)
• scientific article; zbMATH DE number 3826063 (Why is no real title available?)
• 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 1167911 (Why is no real title available?)
• scientific article; zbMATH DE number 2061622 (Why is no real title available?)
• scientific article; zbMATH DE number 1560717 (Why is no real title available?)
• scientific article; zbMATH DE number 2236038 (Why is no real title available?)
• scientific article; zbMATH DE number 3195417 (Why is no real title available?)
• Limits of small functors
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• On continuity of accessible functors
• Pluri-adjoints and preservation of finite limits
• Pro-Categories and Multiadjoint Functors
• Quasi-coproducts and accessible categories with wide pullbacks
• Regular and exact completions
• Representability relative to a doctrine
• Syntactic characterizations of closure under pullbacks and of locally polypresentable categories
• The logic of structures
• Two-dimensional regularity and exactness
• Virtual concepts in the theory of accessible categories
• Weak adjoint functors

Cited in

(10)

• Sur les catégories accessibles multicomplètes. (On multicomplete accessible categories)
• A classification of accessible categories
• Class-locally presentable and class-accessible categories
• Virtual concepts in the theory of accessible categories
• scientific article; zbMATH DE number 4112571 (Why is no real title available?)
• scientific article; zbMATH DE number 672104 (Why is no real title available?)
• Flatness, weakly lex colimits, and free exact completions
• Notes on limits of accessible categories
• More on soundness in the enriched context
• Dualities in the theory of accessible categories

This page was built for publication: Accessible categories with a class of limits

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