Cofibrantly generated lax orthogonal factorisation systems

DOI10.1007/S10485-019-09561-1MaRDI QIDQ2336048zbMATH OpenOpenAlexWikidataFDO

Publication date 18 November 2019

Published in Applied Categorical Structures (Search for Journal in Brave)

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

algebraic weak factorization system cofibrant generation continuous lattice lax factorization system multicategory orthogonal factorization system weak factorization system

Mathematics Subject Classification ID

Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Enriched categories (over closed or monoidal categories) (18D20) Proarrow equipments, Yoneda structures, KZ doctrines (lax idempotent monads) (18D65) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: The present note has three aims. First, to complement the theory of cofibrant generation of algebraic weak factorisation systems (AWFSs) to cover some important examples that are not locally presentable categories. Secondly, to prove that cofibrantly KZ-generated AWFSs (a notion we define) are always lax orthogonal. Thirdly, to show that the two known methods of building lax orthogonal AWFSs, namely cofibrantly KZ-generation and the method of "simple adjunctions", construct different AWFSs. We study in some detail the example of cofibrant KZ-generation that yields representable multicategories, and a counterexample to cofibrant generation provided by continuous lattices.

Review text

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.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Cofibrantly generated lax orthogonal factorisation systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2336048)