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
    • CommentTimeFeb 26th 2014
    • (edited Feb 26th 2014)

    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 !f_! but also f *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.