Accessible model categories (Q2397324): Difference between revisions

A weak factorization system on a locally presentable category is accessible if it gives rise to a functorial factorization \(f=Rf.Lf\) with \(R\) and \(L\) accessible functors. The cofibrantly generated weak factorization systems (i.e. those generated by a set) are examples of accessible weak factorization systems. The inclusion is strict: there are important examples of accessible weak factorization systems which are not cofibrantly generated. The author proves that a weak factorization system on a locally presentable category is accessible if and only if it is small in the sense of \textit{R. Garner} [Appl. Categ. Struct. 17, No. 3, 247--285 (2009; Zbl 1173.55009)], i.e. generated by a small category. Finally, the author discusses an analog of Smith's theorem for accessible model categories (i.e. model categories such that the underlying category is locally presentable and such that the weak factorization systems generated by the cofibrations and the trivial cofibrations are accessible).