Flatness, weakly lex colimits, and free exact completions
From MaRDI portal
Publication:6196051
DOI10.1007/s10231-023-01383-2arXiv2304.09000OpenAlexW4366459373MaRDI QIDQ6196051
Publication date: 14 March 2024
Published in: Annali di Matematica Pura ed Applicata. Serie Quarta (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2304.09000
Topoi (18B25) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Enriched categories (over closed or monoidal categories) (18D20) Regular categories, Barr-exact categories (18E08)
Cites Work
- Lex colimits
- Inductive types and exact completion
- Algebraic geometry and analytic geometry
- Limits of small functors
- A theorem on Barr-exact categories, with an infinitary generalization
- Classifying topoi and finite forcing
- Stone duality for first order logic
- Cartesian closed exact completions
- Categories localement multipresentables
- Categories multialgebriques
- Introduction to extensive and distributive categories
- Change of base for toposes with generators
- Regular and exact completions
- Locally cartesian closed exact completions
- Weak subobjects and the epi-monic completion of a category.
- Definable categories
- Completeness of cocompletions
- A classification of accessible categories
- Enriched regular theories
- Flat and coherent functors
- Quasi-coproducts and accessible categories with wide pullbacks
- Flat vs. filtered colimits in the enriched context
- Virtual concepts in the theory of accessible categories
- Elementary quotient completion
- Exact completions and small sheaves
- Definable additive categories: purity and model theory
- Density presentations of functors
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
- When is Flatness Coherent?
- Exact completion and representations in abelian categories
- Accessible categories with a class of limits
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
