When do completion processes give rise to extensive categories?

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)

zbMATH Keywords

completion processesextensive categoriespreregular categoryregular category

Mathematics Subject Classification ID

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 (6)

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

This page was built for publication: When do completion processes give rise to extensive categories?