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

Discussion Tag Cloud

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
    • CommentTimeJan 4th 2016

    Created a stub entry for norm map, for the moment just so as to make cross-links work.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMay 4th 2025
    • (edited May 4th 2025)
    • CommentRowNumber3.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 4th 2025

    Is this the same ’norm map’ as the one corresponding to multiplicative transfer discussed at Tambara functor?

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeMay 4th 2025
    • (edited May 4th 2025)

    The same type of map: going from a left adjoint f! to a right adjoint f*, such that it is an equivalence when the adjoint triple f!f*f* is ambidextrous.

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 5th 2025

    Hmm. I thought the ’N’ for norm of ’TNR’ was the middle map in that passage along a polynomial, the multiplicative part.

    norms given by tensor-induction

    NHK(V)xq(y)=xVy.

    and

    The Burnside Tambara functor has coefficient system 𝒜(), transfers given by induction, and norms given by coinduction

    Rather than a comparison map, the coinduction map itself.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMay 5th 2025

    I think they say “Norm” for the wrong-way map (Umkehr map) which is induced by the actual norm map (cf. eg. here, for a quick link).

    But I admit that I don’t have the leisure to sort out what they write, and if I am wrong and they are using “Norm” in an unrelated way, then somebody please correct me.