related by the Dold-Kan correspondence
For a model category and an object, the over category as well as the undercategory inherit themselves structures of model categories whose fibrations, cofibrations and weak equivalences are precisely the morphism that become fibrations, cofibrations and weak equivalences in under the forgetful functor or .
then so are and .
The proofs are in (OvMod).
If is a combinatorial model category, then so is .
Let be a cofibrant representative and be a fibration representative in (which always exists) of the objects of these names in , respectively. In terms of these we have a cofibration
in , exhibiting as a cofibrant object of ; and a fibration
in , exhibiting as a fibrant object in .
Moreover, the diagram in sSet given by
a homotopy pullback in the model structure on simplicial sets, because by the axioms on the sSet enriched model category and the above (co)fibrancy assumptions, all objects are Kan complexes and the right vertical morphism is a Kan fibration.
has in the top left the correct derived hom-space in (since is cofibrant and fibrant).
This means that this correct hom-space is indeed a model for .
model structure on an over-category