Mapping Cylinder¶
The quotient space formed by gluing one end of X×[0,1] to Y through a continuous map f:X→Y.
Core Idea¶
A mapping cylinder turns a map into geometry. Start with the disjoint union of X×[0,1] and Y, then identify each bottom point (0,x) with f(x). The other end remains a visible copy of X.
Sliding every cylinder point toward its attached end gives a deformation retraction onto Y. This makes the construction useful for replacing a map by an inclusion followed by a homotopy equivalence and for defining mapping cones and cofibration behavior.
Scope of Application¶
- Algebraic topology. Factors maps through inclusions and homotopy equivalences.
- Cofibrations. Supplies a canonical neighborhood-like construction.
- Homotopy theory. Exhibits Y as a deformation retract.
- Mapping cones. Provides the precursor before endpoint collapse.
Clarity¶
State f, spaces and topology, interval-end convention, quotient relation, embeddings of X and Y, and which deformation retraction is used. Avoid calling the glued image the whole bottom if f is not injective. Inclusion test: Include quotient spaces formed from a map by attaching one end of X×I to Y pointwise through f while retaining the other end. Exclusion test: Exclude mapping cones that collapse the top, ordinary cylinders with no attachment, topological cones, and arbitrary adjunction spaces lacking the cylinder carrier. Nearest boundary: An adjunction space Y∪f X is related, but without the interval direction it does not supply the mapping-cylinder factorization. Exit condition: The object leaves the class when the attachment is not governed by f or the retained X end is collapsed. Common misclassifications: It is not the ordinary product cylinder X×I. It is not the mapping cone, which collapses the retained end. It is not determined only by X and Y without f. It is not merely the image f(X) inside Y. Nearest named distinctions: Mapping cone: Collapses the free cylinder end to a point. Product cylinder: Has no attachment to Y. Cone on X: Collapses one end without retaining an arbitrary target Y. Image of f: May identify points but lacks the cylinder corridor.
Manages Complexity¶
One quotient simultaneously retains the domain, embeds the target, and realizes the map as an attachment. The interval coordinate makes homotopies and later collapse operations explicit.
Abstract Reasoning¶
- Form X×I and a disjoint copy of Y.
- Choose the attached endpoint.
- Impose (0,x)~f(x).
- Track the top copy of X and embedded Y.
- Define the slide retraction onto Y.
- Apply further collapse only when constructing a mapping cone.
Knowledge Transfer¶
The attach-a-collar method transfers to homotopy-coherent replacements and cell attachments when the gluing map is explicit. Mapping-cylinder retraction claims do not transfer to arbitrary quotient spaces.
Relationships to Other Abstractions¶
Current abstraction Mapping Cylinder Domain-specific
Parents (1) — more general patterns this builds on
-
Mapping Cylinder presupposes Continuity Prime
Mapping Cylinder presupposes Continuity because its quotient gluing is induced by a continuous map from X to Y.
Hierarchy paths (2) — routes to 2 parentless roots
- Mapping Cylinder → Continuity → Neighborhood → Topology
- Mapping Cylinder → Continuity → Invariance
Neighborhood in Abstraction Space¶
Mapping Cylinder sits in a crowded region of the domain-specific corpus (29th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Coordinate Systems & Spatial Measures (29 abstractions)
Nearest neighbors
- Category of Manifolds — 0.89
- Join of Categories — 0.89
- Smooth manifold — 0.88
- Solid Modeling — 0.88
- Simplicial Localization — 0.88
Computed from structural-signature embeddings · 2026-10-08