Holmstrom Cylinder object

In a model category, a cylinder object for an object BB is a factorisation of the fold map BBBB \coprod B \to B into a cofibration followed by a WE. The functorial factorisations provide a functorial cylinder object, denoted by B×IB \times I.

nLab page on Cylinder object

Created on June 9, 2014 at 21:16:13 by Andreas Holmström