OurBigBook.comSite Source code

Mapping cylinder

The mapping cylinder of

f : A \to X

is

M_{f} = (A \times [0, 1] ⊔ X) / ((a, 0) \sim f (a)) .

It deformation retracts onto the copy of

X

.

 Ancestors (5)

 Incoming links (1)

Solution