Lax orthogonal factorisation systems
From MaRDI portal
Abstract: This paper introduces lax orthogonal algebraic weak factorisation systems on 2-categories and describes a method of constructing them. This method rests in the notion of simple 2-monad, that is a generalisation of the simple reflections studied by Cassidy, H'ebert and Kelly. Each simple 2-monad on a finitely complete 2-category gives rise to a lax orthogonal algebraic weak factorisation system, and an example of a simple 2-monad is given by completion under a class of colimits. The notions of KZ lifting operation, lax natural lifting operation and lax orthogonality between morphisms are studied.
The paper introduces lax orthogonal algebraic weak factorization systems on \(2\)-categories. They extend the usual factorization systems on categories and their definition is motivated by algebraic weak factorization systems on categories. There is shown how to construct them from simple \(2\)-monads generalizing simple reflections of categories (see Zbl [\textit{C. Cassidy} et al., J. Aust. Math. Soc., Ser. A 38, 287--329 (1985; Zbl 0573.18002)]). For example, these monads arise from completions of categories under a class of colimits.
Recommendations
Cites work
- Algebraic weak factorisation systems. I: Accessible AWFS.
- Doctrines on 2-categories
- Enhanced 2-categories and limits for lax morphisms
- Fibrewise injectivity and Kock-Zöberlein monads
- Filter Monads, Continuous Lattices and Closure Systems
- Homotopical algebra
- scientific article; zbMATH DE number 3914531 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 1080905 (Why is no real title available?)
- scientific article; zbMATH DE number 1129148 (Why is no real title available?)
- scientific article; zbMATH DE number 1463530 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- Limits of small functors
- Monads for which structures are adjoint to units
- Natural weak factorization systems.
- Properly injective spaces and function spaces
- Two-dimensional monad theory
- Understanding the small object argument
Cited in
(14)- Factorization systems as Eilenberg-Moore algebras
- Lax factorization algebras
- Proper factorization systems in 2-categories
- On lax epimorphisms and the associated factorization
- Cofibrantly generated lax orthogonal factorisation systems
- An orthogonal approach to algebraic weak factorisation systems
- Factorization systems induced by weak distributive laws
- AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ
- On factorisation systems for \textbf{Ord}-enriched categories and categories of partial maps
- Lax orthogonal factorisations in ordered structures
- Lax comma categories of ordered sets
- Lax comma 2-categories and admissible 2-functors
- Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent
- Homotopy torsion theories
This page was built for publication: Lax orthogonal factorisation systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q317326)