The relative cell complexes with respect to a generating set of cofibrations are an important class of morphisms in any model structure. In the particular case of the standard (algebraic) model structure on Top, we give a new expression of these morphisms by defining a category of relative cell complexes, which has a forgetful functor to the arrow category. This allows us to prove a conjecture of Richard Garner: considering the algebraic weak factorisation system given in that algebraic model structure between cofibrations and trivial fibrations, we show that the category of relative cell complexes is equivalent to the category of coalgebras.
Keywords: relative cell complexes, algebraic weak factorisation systems, small object argument
2000 MSC: 18A32, 55U35
Theory and Applications of Categories, Vol. 26, 2012, No. 11, pp 304-330.