In a model category, a cylinder object for an object is a factorisation of the fold map into a cofibration followed by a WE. The functorial factorisations provide a functorial cylinder object, denoted by .
nLab page on Cylinder object
Created on June 9, 2014 at 21:16:13
by
Andreas Holmström