Two-dimensional regularity and exactness

DOI10.1016/J.JPAA.2013.11.021MaRDI QIDQ2436719zbMATH OpenOpenAlexFDO

Authors John Bourke, Richard Garner

Publication date 26 February 2014

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.5275

zbMATH Keywords

2-categoryfactorization system2-dimensional exactness

Mathematics Subject Classification ID

Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Grothendieck topologies and Grothendieck topoi (18F10)

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.

Recommendations

• A factorization of regularity
• scientific article; zbMATH DE number 4125648
• An extension of the regular completion
• scientific article; zbMATH DE number 954402
• Enriched regular theories

Cites work

• 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?)
• 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
• 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
• \(\mathfrak V\)-Cat is locally presentable or locally bounded if \(\mathfrak V\) is so

Cited in

(15)

• A factorization of regularity
• An extension of the regular completion
• Accessible categories with a class of limits
• The exact completion for regular categories enriched in posets
• Stone duality for relations
• Two-dimensional monadicity
• Star-regularity and regular completions
• Quasivarieties and varieties of ordered algebras: regularity and exactness
• Contractible exact squares
• scientific article; zbMATH DE number 4125648 (Why is no real title available?)
• scientific article; zbMATH DE number 6981655 (Why is no real title available?)
• On lax protomodularity for \(\mathsf{Ord}\)-enriched categories
• The elementary construction of formal anafunctors
• scientific article; zbMATH DE number 3873563 (Why is no real title available?)
• A property of effectivization and its uses in categorical logic

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)