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 brief entry transfer context in order to record an observation by Haugseng.
He defines a transfer context to be a linear homotopy-type theory aka Wirthmüller context in which not only $f_!$ but also $f_\ast$ satisfies its projection formula. Then he observes that a natural Umkehr map that may be built with this projection formula is (the abstract generalization of) the Becker-Gottlieb transfer.
(Have briefly cross-linked with these related entries.)
Thanks to Thomas Nikolaus for being reminded of Haugseng’s work when Joost Nuiten and me talked about something closely related as ESI yesterday.
1 to 1 of 1