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.
Structural Signature¶
Sig role-phrases:
- Continuous map f:X→Y — Supplies the attachment rule. It is defining input. Counterfactual: Different maps between the same spaces can yield different glued structures.
- Cylinder X×I — Creates a homotopy corridor from X toward its image. It is geometric carrier. Counterfactual: Using X alone gives no cylinder direction.
- Target space Y — Receives the attached bottom and remains embedded. It is base component. Counterfactual: Omitting Y changes the quotient object.
- Equivalence relation — Identifies (0,x) with f(x) and closes transitively. It is gluing rule. Counterfactual: Identifying the wrong end changes coordinate conventions but must be tracked.
- Top copy of X — Represents the domain as an inclusion in the new space. It is retained boundary. Counterfactual: Collapsing it converts the construction toward a cone.
- Deformation retraction — Slides cylinder points down while fixing Y. It is homotopy property. Counterfactual: A mere set-theoretic projection does not establish the homotopy relation.
What It Is Not¶
- 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.
- Closest near-miss. An adjunction space Y∪f X is related, but without the interval direction it does not supply the mapping-cylinder factorization.
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.
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.
Examples¶
Canonical¶
For an inclusion A→Y, attach A×I to Y along A×{0}; the top A×{1} is a separated copy connected to its original location by the cylinder.
Mapped back: map → inclusion; carrier → A×I; base → Y; top → copy of A.
Applied / In Practice¶
If f sends every x to one point of Y, the bottom of X×I is collapsed at that point while the rest of Y remains present.
Mapped back: map → constant; identification → all bottom points to one y; retained → top X.
Structural Tensions¶
T1 — Domain Retention versus Target Retraction. The construction embeds a top copy of X yet homotopically retracts the whole space onto Y.
Diagnostic: Which inclusion or homotopy equivalence is under discussion?
T2 — Coordinate Convention versus Topological Equivalence. Authors attach t=0 or t=1; formulas differ while the construction is homeomorphic after interval reversal.
Diagnostic: Has the chosen end been stated consistently?
Structural–Framed Character¶
Map-driven gluing is structural; topology supplies quotient, deformation, inclusion, and cofibration language.
Structural Core vs. Domain Accent¶
Its core is a cylinder attached by a map. Algebraic topology adds homotopy factorization, deformation retracts, mapping cones, and endpoint conventions.
Instantiates / Related Primes¶
This entry presupposes Continuity.
-
Approved root. No frozen parent entails this particular quotient construction.
-
Related — mapping cone, cylinder object, adjunction space, and cofibration. They are a derivative, carrier, broader gluing class, and application.
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.Every reviewed Mapping Cylinder instance depends on the parent role: its quotient gluing is induced by a continuous map from X to Y. Removing that role makes the frozen child identity undefined or changes it into a different abstraction. Continuity can occur without Mapping Cylinder, so the relation is dependency rather than subsumption.
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
Not to Be Confused With¶
- Mapping cone. Tell: Collapses the free cylinder end to a point.
- Product cylinder. Tell: Has no attachment to Y.
- Cone on X. Tell: Collapses one end without retaining an arbitrary target Y.
- Image of f. Tell: May identify points but lacks the cylinder corridor.
References¶
- Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Mapping_cylinder (revision 1344396108).
- Preserved source candidate: https://archive.org/details/algebraictopolog00hatc_939
- Preserved source candidate: https://archive.org/details/algebraictopolog00hatc_939/page/n10
- Preserved source candidate: https://archive.org/details/algebraictopolog00hatc_939/page/n23
- Preserved source candidate: http://www.math.uchicago.edu/~may/CONCISE
The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.