Two-dimensional regularity and exactness
From MaRDI portal
Publication:2436719
Abstract: We define notions of regularity and (Barr-)exactness for 2-categories. In fact, we define three notions of regularity and exactness, each based on one of the three canonical ways of factorising a functor in Cat: as (surjective on objects, injective on objects and fully faithful), as (bijective on objects, fully faithful), and as (bijective on objects and full, faithful). The correctness of our notions is justified using the theory of lex colimits introduced by Lack and the second author. Along the way, we develop an abstract theory of regularity and exactness relative to a kernel--quotient factorisation, extending earlier work of Street and others.
The paper deals with 2-dimensional generalizations of the notions of regular and exact category. It is based on the theory of lex colimits [\textit{R. Garner} and \textit{S. Lack}, J. Pure Appl. Algebra 216, No. 6, 1372--1396 (2012; Zbl 1256.18002)] and unifies existing approaches. In detail, the authors consider three particular notions of 2-dimensional regularity and exactness depending on three important factorization systems on Cat.
Recommendations
Cites work
- V-Cat is locally presentable or locally bounded if V is so
- Categorical algebra
- Categorical and combinatorial aspects of descent theory
- Enhanced 2-categories and limits for lax morphisms
- Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
- Flexible limits for 2-categories
- scientific article; zbMATH DE number 3779584 (Why is no real title available?)
- scientific article; zbMATH DE number 4125648 (Why is no real title available?)
- scientific article; zbMATH DE number 2172008 (Why is no real title available?)
- scientific article; zbMATH DE number 1431772 (Why is no real title available?)
- scientific article; zbMATH DE number 5934776 (Why is no real title available?)
- Lex colimits
- Limits of small functors
- Modulated bicategories
- Monads for which structures are adjoint to units
- Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
- Notions of Lawvere theory
- Proper factorization systems in 2-categories
- The comprehensive factorization of a functor
- Two-dimensional monad theory
- Two-dimensional sheaf theory
Cited in
(21)- An extension of the regular completion
- The exact completion for regular categories enriched in posets
- Contractible exact squares
- Two-dimensional monadicity
- Star-regularity and regular completions
- A factorization of regularity
- On lax protomodularity for \(\mathsf{Ord}\)-enriched categories
- scientific article; zbMATH DE number 3873563 (Why is no real title available?)
- scientific article; zbMATH DE number 4125648 (Why is no real title available?)
- scientific article; zbMATH DE number 6981655 (Why is no real title available?)
- A property of effectivization and its uses in categorical logic
- The elementary construction of formal anafunctors
- Quasivarieties and varieties of ordered algebras: regularity and exactness
- Accessible categories with a class of limits
- Stone duality for relations
- Which categories are varieties of quantitative algebras?
- The elementary theory of the 2-category of small categories
- Categories which are varieties of classical or ordered algebras
- Internal 1-topoi in 2-topoi
- Poset-enriched categories and free exact completions
- Colimits of internal categories
This page was built for publication: Two-dimensional regularity and exactness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2436719)
