An extension of the regular completion
Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Eilenberg-Moore and Kleisli constructions for monads (18C20)
\textit{A. Carboni} [J. Pure Appl. Algebra 103, 117--148 (1995; Zbl 0839.18002)] presented the 2-category of regular categories and functors as the 2-category of algebras of a KZ-doctrine on \(lex\) (the 2-category of finitely complete categories and left exact functors). In order to extend this result, the authors introduce the concept of kernels and kernel arrows in a general category. Then they define a KZ-doctrine on the 2-category of all categories and those functors preserving kernel arrows (and all natural transformations). Its 2-category of algebras is shown to be the (regular epi, mono)-factorizable categories (i.e., those in which every morphism factorizes as a regular epi followed by a mono), with the functors preserving these factorizations (and all natural transformations).
- A basic distributive law
- Cofibrations. II: Left exact right actions and compositions of gamuts
- scientific article; zbMATH DE number 1024330 (Why is no real title available?)
- scientific article; zbMATH DE number 3296291 (Why is no real title available?)
- Introduction to extensive and distributive categories
- Monads for which structures are adjoint to units
- Monomorphisms, Epimorphisms, and Pull-Backs
- Regular and exact completions
- Some free constructions in realizability and proof theory
This page was built for publication: An extension of the regular completion
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1850097)
