When do completion processes give rise to extensive categories?
From MaRDI portal
Publication:5939822
DOI10.1016/S0022-4049(00)00060-8zbMath0982.18002MaRDI QIDQ5939822
Enrico M. Vitale, Stephen Lack
Publication date: 8 April 2002
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Abelian categories, Grothendieck categories (18E10) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Categorical structures (18D99)
Related Items
Unnamed Item, Exact completion of path categories and algebraic set theory. I: Exact completion of path categories, Aspects of predicative algebraic set theory. I: Exact completion, Completeness of cocompletions, New wide classes of weakly Mal'tsev categories, Proper factorization systems in 2-categories
Cites Work
- An elementary characterization of categories of separated objects
- Coinverters and categories of fractions for categories with structure
- Localisations of locally presentable categories. II
- Cartesian closed exact completions
- Introduction to extensive and distributive categories
- Localizations of algebraic categories. II
- Galois theory and a general notion of central extension
- On localization and stabilization for factorization systems
- Regular and exact completions
- Locally cartesian closed exact completions
- Weak subobjects and the epi-monic completion of a category.
- Some free constructions in realizability and proof theory
- The symmetric topos
- Decidable (= separable) objects and morphisms in lextensive categories
- Localizations of algebraic categories
- On limit-preserving functors
- Exact categories and categories of sheaves
- Pull-Backs in Homotopy Theory
- On product-preserving Kan extensions
- Introduction to distributive categories
- Syntactic characterizations of various classes of locally presentable categories
- 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
