Overcategories and undercategories of model categories

Abstract

If M is a model category and Z is an object of M, then there are model category structures on the category of objects of M over Z and the category of objects of M under Z under which a map is a cofibration, fibration, or weak equivalence if and only if its image in M under the forgetful functor is, respectively, a cofibration, fibration, or weak equivalence. It is asserted without proof in "Model categories and their localizations" that if M is cofibrantly generated, cellular, or proper, then so is the category of objects of M over Z. The purpose of this note is to fill in the proofs of those assertions and to state and prove the analogous results for undercategories.

arXiv comment6 pages

Cited by in corpus (11)

• Model Structures on Commutative Monoids in General Model Categories
• A model category for local po-spaces
• Homotopical Algebraic Context over Differential Operators
• Multiplicative parametrized homotopy theory via symmetric spectra in retractive spaces
• On Koszul-Tate resolutions and Sullivan models
• Left determined model categories
• Model categorical Koszul-Tate resolution for algebras over differential operators
• Joyal's cylinder conjecture
• Combinatorics of past-similarity in higher dimensional transition systems
• Waldhausen K-theory of spaces via comodules
• The choice of cofibrations of higher dimensional transition systems