Cilindro de Aplicación

Dada una aplicación continua f: X→Y, el cilindro de mapeo Mf es el espacio obtenido al tomar X×[0,1] unión disjunta con Y y identificar cada (x,1)∈X×{1} con f(x)∈Y; es decir, Mf = X×[0,1] ⊔_f Y. Proporciona un modelo para una homotopía entre f y una inclusión cofibrante de X en Mf.