A weak factorization system on a locally presentable category is accessible if it admits a functorial factorization that is an accessible functor.
For a weak factorization system on a locally presentable category , the following are equivalent.
Properties of the algebraic small object argument yield (2)(3)(4), and (4)(1) since an algebraic wfs is in particular a functorial factorization. The remaining implication is the following lemma, which is Remark 3.1.8 of HKRS15, which relies on Theorem 4.3 of Rosicky17.
Suppose is an accessible functorial factorization on a locally presentable category , realizing a weak factorization system. Then there is an accessible algebraic weak factorization system realizing the same weak factorization system.
Let be the category of coalgebras for the copointed endofunctor of the arrow category induced by , i.e. morphisms equipped with a section of their -factorization exhibiting them as a retract of the first factor. Then is locally presentable (being complete and a PIE limit construction from ). Thus, it has a small dense subcategory . We can then apply Garner's small object argument to generate an algebraically-free algebraic weak factorization system from . The algebraic right-maps in this awfs are the morphisms with coherent lifting functions against , which by density is the same as having a coherent lifting function against all of , which is the same as being an algebra for the pointed endofunctor of corresponding to . Thus this is an awfs with the same right-maps, hence the same underlying weak factorization system.
Regarding point (4), note that being accessible is a property of a wfs, while being algebraic is a structure on it. A given accessible wfs can admit many different algebraic realizations, and not all of them (even the accessible ones) may be produced by the ordinary algebraic small object argument (although they can all be produced by the fancier version involving a double category of maps as input).
Any accessible weak factorization system can be right-lifted along a right adjoint, or also left-lifted along a left adjoint, between locally presentable categories. That is, if is a functor between locally presentable categories and is an accessible weak factorization system of , then:
If is a right adjoint, then there is an accessible wfs on such that .
If is a left adjoint, then there is an accessible wfs on such that .
See HKRS and its correction in GKR for details. In particular, this is useful for the construction of transferred model structures.
Algebraic model structures: Quillen model structures, mainly on locally presentable categories, and their constituent categories with weak equivalences and weak factorization systems, that can be equipped with further algebraic structure and “freely generated” by small data.
structure | small-set-generated | small-category-generated | algebraicized |
---|---|---|---|
weak factorization system | combinatorial wfs | accessible wfs | algebraic wfs |
model category | combinatorial model category | accessible model category | algebraic model category |
construction method | small object argument | same as | algebraic small object argument |
Jiri Rosicky, Accessible model categories, Appl Categor Struct (2017) 25: 187. doi, arxiv
Kathryn Hess, Magdalena Kędziorek, Emily Riehl, Brooke Shipley, A necessary and sufficient condition for induced model structures (arXiv:1509.08154). This paper contains an error, corrected by:
Richard Garner, Magdalena Kedziorek, Emily Riehl, Lifting accessible model structures, arXiv:1802.09889
Last revised on May 3, 2023 at 05:57:48. See the history of this page for a list of all contributions to it.