Compatible weak factorization systems and model structures

Abstract

In this paper, the concept of compatible weak factorization systems in general categories is introduced as a counterpart of compatible complete cotorsion pairs in abelian categories. We describe a method to construct model structures on general categories via two compatible weak factorization systems satisfying certain conditions, and hence, generalize a very useful result by Gillespie for abelian model structures. As particular examples, we show that weak factorization systems associated to some classical model structures (for example, the Kan-Quillen model structure on $\mathrm{sSet}$) satisfy these conditions.