nLab transfer context



A transfer context is an abstract context of linear homotopy-type theory in which the concept of Becker-Gottlieb transfer makes sense.


A transfer context according to (Haugseng 13, def. 4.9) is a Wirthmüller context (f !f *f *)(f_! \dashv f^\ast \dashv f_\ast) of six operations in which not only f !f_! but also f *f_\ast satisfies its projection formula.

This induces an abstract Becker-Gottlieb transfer/Umkehr map by (Haugseng 13, prop. 4.14)


Created on February 26, 2014 at 07:36:25. See the history of this page for a list of all contributions to it.