nLab mapping cocone



Limits and colimits

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology



Paths and cylinders

Homotopy groups

Basic facts




The mapping cocone of a morphism f:ACf : A \to C, with CC a pointed object, is a particular model category realization of the homotopy fiber of ff, i.e. of the homotopy pullback

Cocone(f) A f * C \array{ Cocone(f) &\to& A \\ \downarrow && \downarrow^{\mathrlap{f}} \\ {*} &\to& C }

of the point along ff.

The concept is dual to that of mapping cone.

Mapping co-cones are realized in terms of mapping cocylinders, as described below. These typically play the role of generalized universal bundles.


Under sufficiently nice conditions (…spell out…), the homotopy pullback

Cocone(f) A f * C \array{ Cocone(f) &\to& A \\ \downarrow && \downarrow^{\mathrlap{f}} \\ {*} &\to& C }

may be computed as the ordinary limit over the diagram

A f C I C * C, \array{ && && A \\ &&&& \downarrow^{\mathrlap{f}} \\ &&C^I &\to& C \\ && \downarrow \\ {*} &\to& C } \,,

where C IC^I is a path space object of CC. This, in turn, may be computed as two consecutive ordinary pullbacks. The first one

E fC A f C I C * C \array{ && \mathbf{E}_f C &\to& A \\ && \downarrow && \downarrow^{\mathrlap{f}} \\ &&C^I &\to& C \\ && \downarrow \\ {*} &\to& C }

yields the mapping cocylinder E fC\mathbf{E}_f C. This is the kind of object discussed at generalized universal bundle. The second pullback then produces the mapping cocone

Cocone(f) E fC A f C I C * C. \array{ Cocone(f) &\to& \mathbf{E}_f C &\to& A \\ \downarrow && \downarrow && \downarrow^{\mathrlap{f}} \\ &&C^I &\to& C \\ \downarrow && \downarrow \\ {*} &\to& C } \,.


Principal bundles

In the category Top of topological spaces, let GG be group and G\mathcal{B}G its classifying space, and let f:XGf : X \to \mathcal{B}G be a morphism. Then

  • the mapping cocylinder of *G{* }\to \mathcal{B}G is the universal GG-bundle;

  • the mapping cocone of XGX \to \mathcal{B}G is the GG-principal bundle PXP \to X classified by ff:

    P G * (G) I G X f G. \array{ P &\to& \mathcal{E} G &\to& {*} \\ \downarrow && \downarrow && \downarrow^{} \\ &&(\mathcal{B}G)^I &\to& \mathcal{B}G \\ \downarrow && \downarrow \\ X &\stackrel{f}{\to}& \mathcal{B}G } \,.

Note on terminology

Whitehead complained about the term cocone back in the old days, because of the seeming (though false) double dualization, so he used mapping path space. This practice was followed by his school (in most of US for example). But he himself was not confident in that terminology. For example there is a table in his book where he lists the dual notions and at the place where mapping cocone/mapping path space should fit he puts just the symbol for the construction while on the dual side he puts the whole name. Similarily for the mapping cocylinder.

Somebody – maybe Samuel Eilenberg – (– check –) suggested to Whitehead to use ne insteaad of cocone , jokingly cancelling one co against the other, as if both expressed abstract duality.

Postnikov uses the term mapping cocylinder , while for on Whitehead’s complaint he comments:

we do not see a particular criminal in the cocone terminology, but will anyway not use it.

examples of universal constructions of topological spaces:

\, point space\,\, empty space \,
\, product topological space \,\, disjoint union topological space \,
\, topological subspace \,\, quotient topological space \,
\, fiber space \,\, space attachment \,
\, mapping cocylinder, mapping cocone \,\, mapping cylinder, mapping cone, mapping telescope \,
\, cell complex, CW-complex \,

Last revised on May 2, 2017 at 17:15:25. See the history of this page for a list of all contributions to it.