Abbildungszylinder

Zu einer stetigen Abbildung f: X→Y ist der Abbildungszylinder Mf der Raum, der durch X×[0,1] ⊔ Y entsteht, wobei jedes (x,1)∈X×{1} mit f(x)∈Y identifiziert wird; kurz Mf = X×[0,1] ⊔_f Y. Er modelliert eine Homotopie zwischen f und einer Cofibrationseinschließung von X in Mf.