Factorization systems and double categories
From MaRDI portal
Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Categories of spans/cospans, relations, or partial maps (18B10) Monoidal categories, symmetric monoidal categories (18M05) 2-categories, bicategories, double categories (18N10) 2-dimensional monad theory (18N15)
Abstract: We show that factorization systems, both strict and orthogonal, can be equivalently described as double categories satisfying certain properties. This provides conceptual reasons for why the category of sets and partial maps or the category of small categories and cofunctors admit orthogonal factorization systems. The theory also gives an explicit description of various lax morphism classifiers and explains why they admit strict factorization systems.
Recommendations
- scientific article; zbMATH DE number 3487529
- scientific article; zbMATH DE number 3080938
- scientific article; zbMATH DE number 3407754
- Eine Bemerkung zum Satz von Vitali über Konvergenz von Funktionenfolgen: Dem stets hilftsbereiten Herrn Kollegen H. L. Schmid, gewidmet
- scientific article; zbMATH DE number 1839786
- Holomorphic mappings of complex manifolds
- scientific article; zbMATH DE number 5593209
- On \(\varepsilon\)-representations
- scientific article; zbMATH DE number 3148394
Cited in
(4)
This page was built for publication: Factorization systems and double categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6436243)
