Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeDec 21st 2009
    • (edited Dec 21st 2009)

    created an entry mapping cocone, following a suggestion by Zoran, that this is the right technical term for what is discussed in more detail at generalized universal bundle.

    (the examples section needs more attention, though...)

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeDec 22nd 2009

    I think algebraic topologists would call that the "mapping path space".

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeDec 22nd 2009
    • (edited Dec 22nd 2009)

    Whitehead had complained to cocone terminology in old times, because of the seeming (though false) double dualization, so he used mapping path space, what his teaching school (most of US for example) followed later. 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, could be Eilenberg (I should check) answered to Whitehead to call "ne" rather than cocone, effectively cancelling the double dualization.

    Postnikov uses the mapping cocylinder, while for the Whitehead's complaint he comments: "we do not see a particular criminal in the cocone terminology, but will anyway not use it".

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeDec 22nd 2009

    I made mapping path space a redirect and added a section Note on terminology with Zoran's comment above, slightly edited.

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeDec 22nd 2009

    What a good thing we don't talk about colimits as being representing objects for path spaces (rather than cocones). (-:

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeDec 22nd 2009
    • (edited Dec 15th 2011)

    Yes, a successful case of co-communication. ;-)

    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeDec 15th 2011

    I’d like to register a disagreement with myself of 2 years ago. I don’t know what I was thinking at the time, but it seems clear to me now that the term “mapping path space” (or “mapping path fibration”) refers to the object also called the mapping cocylinder, not to the mapping cocone. I just took a survey of a handful of algebraic topology books and they all agree with myself of today. Zoran, were you saying that Whitehead actually used “mapping path space” to mean the mapping cocone?

    • CommentRowNumber8.
    • CommentAuthorzskoda
    • CommentTimeDec 16th 2011

    I should check, but my memory is also that Whitehead meant the mapping cocylinder.

    • CommentRowNumber9.
    • CommentAuthorMike Shulman
    • CommentTimeDec 16th 2011

    Okay, I’ve updated mapping cocone and cocylinder to reflect this. I left the “terminology” section at mapping cocone as-is, since I wasn’t sure what to do with the sentence “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” which suggests to me that Whitehead used “mapping path space” to mean “mapping cocone”.