nLab accessible weak factorization system

Redirected from "accessible weak factorization systems".
Accessible weak factorization systems

Accessible weak factorization systems

Definition

A weak factorization system on a locally presentable category is accessible if it admits a functorial factorization that is an accessible functor.

Equivalent forms

Theorem

For a weak factorization system (L,R)(L,R) on a locally presentable category MM, the following are equivalent.

  1. (L,R)(L,R) is accessible.
  2. There is a small category JM J \to M^\to over the arrow category such that RR consists of the morphisms with coherent right lifting functions relative to JJ.
  3. (L,R)(L,R) can be generated by the algebraic small object argument.
  4. (L,R)(L,R) can be equipped with the structure of an accessible algebraic weak factorization system.

Proof

Properties of the algebraic small object argument yield (2)\Rightarrow(3)\Rightarrow(4), and (4)\Rightarrow(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.

Lemma

Suppose EE is an accessible functorial factorization on a locally presentable category MM, realizing a weak factorization system. Then there is an accessible algebraic weak factorization system realizing the same weak factorization system.

Proof

Let Coalg(L)Coalg(L) be the category of coalgebras for the copointed endofunctor of the arrow category M M^\to induced by EE, i.e. morphisms equipped with a section of their EE-factorization exhibiting them as a retract of the first factor. Then Coalg(L)Coalg(L) is locally presentable (being complete and a PIE limit construction from MM). Thus, it has a small dense subcategory XX. We can then apply Garner's small object argument to generate an algebraically-free algebraic weak factorization system from XX. The algebraic right-maps in this awfs are the morphisms with coherent lifting functions against XX, which by density is the same as having a coherent lifting function against all of Coalg(L)Coalg(L), which is the same as being an algebra for the pointed endofunctor of M M^\to corresponding to EE. 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).

Properties

Left and right lifting

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 U:ABU:A\to B is a functor between locally presentable categories and (L,R)(L,R) is an accessible weak factorization system of BB, then:

  1. If UU is a right adjoint, then there is an accessible wfs (L,R)(L',R') on AA such that R=U 1(R)R' = U^{-1}(R).

  2. If UU is a left adjoint, then there is an accessible wfs (L,R)(L',R') on AA such that L=U 1(L)L' = U^{-1}(L).

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.

structuresmall-set-generatedsmall-category-generatedalgebraicized
weak factorization systemcombinatorial wfsaccessible wfsalgebraic wfs
model categorycombinatorial model categoryaccessible model categoryalgebraic model category
construction methodsmall object argumentsame as \toalgebraic small object argument

References

Last revised on May 3, 2023 at 05:57:48. See the history of this page for a list of all contributions to it.