The mapping cone Cf of a map f: X→Y is the quotient of the mapping cylinder Mf obtained by collapsing X×{0} to a point; equivalently Cf = Mf / (X×{0} ∼ *). The mapping cone models the homotopy cofiber of f and measures the failure of f to be surjective on homotopy.

Principle

Collapse the bottom slice of the mapping cylinder to create a cone on X attached to Y via f; this produces a space whose homotopy type encodes cofiber information and yields long exact sequences in homotopy relating X, Y and Cf.

Demonstration

For the inclusion i: A→X, the mapping cone Ci is homeomorphic to X with A collapsed to a cone, and the reduced homology of Ci computes the relative homology H_*(X,A). For a nullhomotopic map f, Cf is homotopy equivalent to the wedge Y ∨ ΣX.

Misapplication

Forming the mapping cone without controlling basepoints or collapsing the wrong subspace can destroy the intended cofiber information; conflating the mapping cone with the mapping cylinder or with naive quotient constructions leads to incorrect exact sequences.

Consequence

The mapping cone yields the homotopy cofiber sequence X → Y → Cf → ΣX and therefore produces long exact sequences in (co)homology and homotopy; it is fundamental for defining cofibers, attaching cells, and computing relative invariants.

Reversal

Reversing the construction corresponds to taking the homotopy fiber or desuspending in appropriate contexts; the cone construction is not generally invertible on the nose, and recovering f from Cf requires extra structure or homotopical information.

Boundary

Accurate use of mapping cones presumes working with based maps or in categories where homotopy quotients behave well (CW complexes, model categories); naive point-set quotients in pathological categories may fail to represent homotopy cofibers.

Semantic Tension

Mapping cone competes conceptually with mapping fiber and with naive quotients: the cone encodes cofiber information (cokernel-like in homotopy), whereas the mapping fiber encodes fiber information (kernel-like); both are related by suspension and long exact sequences.

Synthesis

The mapping cone of f is the quotient of Mf collapsing X×{0} to a point, producing a space that encodes the homotopy cofiber of f and fits into the fundamental cofiber sequence X→Y→Cf→ΣX, central to relative homotopy and homological computations.