Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Created a stub entry for norm map, for the moment just so as to make cross-links work.
added pointer to:
Is this the same ’norm map’ as the one corresponding to multiplicative transfer discussed at Tambara functor?
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.
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)x≃⨂q(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.
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.
1 to 6 of 6