Mapping cylinder

In mathematics, specifically algebraic topology, the mapping cylinder of a function ${\displaystyle f}$ between topological spaces ${\displaystyle X}$ and ${\displaystyle Y}$ is the quotient

where the ${\displaystyle \amalg }$ denotes the disjoint union, and ∼ is the equivalence relation generated by

...
Wikipedia