Mapping cylinder

Definition

Let $f:X\to Y$ be a function. Then the mapping cylinder of $f$ is defined as the quotient of the disjoint union of $X\times I$ with $Y$, modulo the equivalence relation:

$(x,1)\simeq f(x)$