Algebraic model structures (Q554242)

By an algebraic model structure on a category, the author means a model structure built out of algebraic or natural weak factorisation systems. That is to say, the cofibrations and fibrations are retracts of coalgebras for comonads and of algebras for monads. It is shown that every cofibrantly generated model structure underlies a cofibrantly generated algebraic model structure. A cofibrantly generated algebraic model structure can be passed across an adjunction to produce an algebraic Quillen adjunction. Pointwise algebraic weak factorisation systems on diagram categories which are generated by cofibrantly generated algebraic weak factorisation systems are also cofibrantly generated, and there is an algebraic generalisation of the projective model structure on diagram categories. If an algebraic model category is cofibrantly generated and its cofibrations are monomorphisms, then the natural comparison map between the algebraic weak factorisation systems consists of pointwise cofibration coalgebras.