A construction that associates to a chain map between complexes a new complex (the mapping cone) whose homology measures the failure of the map to be a quasi-isomorphism and that yields long exact sequences in homology.

Principle

Form the cone by adjoining a shifted copy of the target complex to the source complex with a differential combining the original differentials and the map; the cone fits into a short exact sequence of complexes whose homology gives the connecting long exact sequence.

Demonstration

Given a chain map f: A -> B, the mapping cone Cone(f) has underlying graded module B ⊕ A[1] with differential d(b,a) = (d_B b + f(a), -d_A a); if f is a quasi-isomorphism then Cone(f) is acyclic, and otherwise its homology detects the obstruction.

Misapplication

Confusing the mapping cone with the cokernel or ignoring necessary sign and degree shifts when forming the cone, or using the cone without checking that the chosen model respects homotopy or triangulated-structure conventions.

Consequence

The mapping cone provides a concrete tool to detect quasi-isomorphisms, construct distinguished triangles in derived categories, and produce connecting homomorphisms and long exact sequences in homology computations.

Reversal

Rather than forming a cone to encode the map's failure, one may form a mapping fiber (dual notion) to encode homotopy kernels; reversing highlights the duality between cofiber (cone) and fiber constructions.

Boundary

Applies to (chain) complexes in additive categories with shifts and mapping cones; sign conventions and shift functors are essential and the construction must be used with care in differential-graded and triangulated contexts to respect structure.

Semantic Tension

There is tension between treating the mapping cone as a mere algebraic gadget for exact sequences and viewing it as the homotopical cofiber in triangulated or derived categories; the categorical viewpoint imposes extra naturality and triangle axioms.

Synthesis

The mapping cone is the canonical complex built from a chain map that packages the failure of that map to be a quasi-isomorphism into homology, yields long exact sequences, and realizes cofibers/triangles in homotopical settings when used with correct sign and shift conventions.