Lex colimits
arXiv:1107.0778 · doi:10.1016/j.jpaa.2012.01.003
Abstract
Many kinds of categorical structure require the existence of finite limits, of colimits of some specified type, and of "exactness" conditions between the finite limits and the specified colimits. Some examples are the notions of regular, or Barr-exact, or lextensive, or coherent, or adhesive category. We introduce a general notion of exactness, of which each of the structures listed above, and others besides, are particular instances. The notion can be understood as a form of cocompleteness "in the lex world" -- more precisely, in the 2-category of finitely complete categories and finite-limit preserving functors.
38 pages; v2: final journal version, various minor changes and new Section 5.9 dealing with filtered colimits
References in corpus (3)
Cited by in corpus (8)
- Coend calculus
- Enriched Regular Theories
- A universal characterization of standard Borel spaces
- Gabriel-Ulmer duality for topoi and its relation with site presentations
- Flatness, weakly lex colimits, and free exact completions
- Dualities in the theory of accessible categories
- Bi-accessible and bipresentable 2-categories
- A characterisation of algebraic exactness