Two-dimensional regularity and exactness

DOI10.1016/J.JPAA.2013.11.021zbMATH Open1298.18005arXiv1304.5275OpenAlexW2029875374MaRDI QIDQ2436719FDOQ2436719

Authors: John Bourke, Richard Garner 

Publication date: 26 February 2014

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

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.

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

Recommendations

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

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)

Cites Work

• The comprehensive factorization of a functor
• Monads for which structures are adjoint to units
• Two-dimensional monad theory
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• Modulated bicategories
• Title not available (Why is that?)
• Categorical algebra
• Notions of Lawvere theory
• Enhanced 2-categories and limits for lax morphisms
• Limits of small functors
• Categorical and combinatorial aspects of descent theory
• \(\mathfrak V\)-Cat is locally presentable or locally bounded if \(\mathfrak V\) is so
• Two-dimensional sheaf theory
• Flexible limits for 2-categories
• Lex colimits
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
• Title not available (Why is that?)
• Proper factorization systems in 2-categories

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• On lax protomodularity for \(\mathsf{Ord}\)-enriched categories
• The elementary construction of formal anafunctors
• Title not available (Why is that?)
• 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)