The Coalgebraic Structure of Cell Complexes

Abstract

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 $\text{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.

26 pages

References in corpus (5)

• Understanding the small object argument
• Algebraic model structures
• Homomorphisms of higher categories
• On the construction of functorial factorizations for model categories
• Monoidal algebraic model structures

Cited by in corpus (4)

• Algebraic weak factorisation systems I: accessible AWFS
• Algebraic weak factorisation systems II: categories of weak maps
• An orthogonal approach to algebraic weak factorisation systems
• Monoidal algebraic model structures