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).

nLab > Latest Changes: Toda bracket

Bottom of Page

1 to 9 of 9

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeFeb 10th 2021

    I have re-written the Idea-section of this entry, trying to bring out clearly the simple idea that the Toda bracket is just the pasting composite of two overlapping null homotopies.

    Also I added pointer to the original reference by Toda (though still need to dig out page and verse where his bracket is actually defined).

    I was gonna do more to this entry, but now I am out of steam. Maybe later.

    diff, v12, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeFeb 11th 2021

    I have now expanded the re-written Idea-section a little further (here).

    In particular I have added a sequence of homotopy-commutative pasting diagrams which shows how the simple abstract-homotopy/∞\infty-category theoretic construction reduces to the popular 1950s-style description via consecutive “extensions over cones”.

    I have been scanning the literature to find an author who would present not the 1950s-style but this 2010s-style version of the definition of the Toda bracket; but so far I haven’t found any such reference. If somebody has a pointer, please let me know.

    diff, v14, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeFeb 11th 2021

    found something:

    In

    • K. A. Hardie, K. H. Kamps, and R. W. Kieboom, Higher homotopy groupoids and Toda brackets, Homology Homotopy Appl. Volume 1, Number 1 (1999), 117-134 (euclid:hha/1139840198)

    the homotopy-pasting-diagram formulation of the Toda bracket is equations (0.2)-(0.3).

    (insisting on some double-categorical structure, but still)

    diff, v15, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeFeb 11th 2021

    Also equation (2.2) in

    I see now that Hardie & Kamps et al. have a series of articles on this aspect. Will add them…

    diff, v15, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeFeb 11th 2021
    • (edited Feb 11th 2021)

    apparently they brought their point of view into final form in

    Unfortunately, that’s the one article in the series that I don’t find any electronic trace of…

    diff, v15, current

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeFeb 11th 2021

    Just trivia, but I have made explicit (here) how the Toda bracket is not a function with “indeterminate” values, as traditional nomenclature still insists, but a bundle with fibers.

    diff, v17, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeFeb 11th 2021

    I have made explicit (here) the group action on the set of choices of Toda brackets, which becomes manifest from the homotopy-pasting perspective.

    diff, v18, current

    • CommentRowNumber8.
    • CommentAuthorDmitri Pavlov
    • CommentTimeFeb 11th 2021

    Re #5: The article is available here: https://rendiconti.dmi.units.it/volumi/33/02.pdf

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeFeb 12th 2021

    Thanks! That’s great. I have added the link to the entry.

    diff, v19, current

1 to 9 of 9

  1.