We build a model structure from the simple point of departure of a structured interval in a monoidal category — more generally, a structured cylinder and a structured co-cylinder in a category.
23/04/16
A little minor editing of the arXiv version has taken place here and there, and the typesetting is different. The mathematical arguments are unchanged.
Last updated: 15:00 (GMT+2), 23/04/2016.