Cofibrantly generated lax orthogonal factorisation systems (Q2336048)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cofibrantly generated lax orthogonal factorisation systems |
scientific article |
Statements
Cofibrantly generated lax orthogonal factorisation systems (English)
0 references
18 November 2019
0 references
Lax orthogonal factorization systems were introduced in [\textit{M. M. Clementino} and \textit{I. López Franco}, Adv. Math. 302, 458--528 (2016; Zbl 1375.18032)] as a type of algebraic weak factorization systems on \(2\)-categories. This paper is concerned with the cofibrant generation of lax orthogonal factorization systems (called cofibrant KZ-generation), while the cofibrant generation of algebraic weak factorization systems [\textit{R. Garner}, Appl. Categ. Struct. 17, No. 3, 247--285 (2009; Zbl 1173.55009); ibid. 20, No. 2, 103--141 (2012; Zbl 1256.55005)] on locally presentable categories was investigated in [\textit{J. Bourke} and \textit{R. Garner}, J. Pure Appl. Algebra 220, No. 1, 108--147 (2016; Zbl 1327.18004)], encompassing a plenty of examples but failing to reach such important ones as those based upon the category of topological spaces. This paper aims to fill the gap in the literature. The author shows that cofibrantly KZ-generated algebraic weak factorization systems are always lax orthogonal factorization systems. Representable multicategories, which this paper studies in some detail, are not locally presentable categories. The author studies the case of categories enriched in posets and the cofibrant KZ-generation thereon, encompassing topological spaces. There are two ways of constructing new lax orthogonal factorization systems, namely, via simple adjunctions and via cofibrant KZ-generation, the two procedures of which are shown to yield distinct lax orthogonal factorization systems.
0 references
algebraic weak factorization system
0 references
weak factorization system
0 references
lax factorization system
0 references
multicategory
0 references
continuous lattice
0 references
orthogonal factorization system
0 references
cofibrant generation
0 references