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_! \dashv f^\ast \dashv f_\ast)$ of six operations in which not only $f_!$ but also $f_\ast$ satisfies its projection formula.

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

- Rune Haugseng,
*The Becker-Gottlieb Transfer Is Functorial*(arXiv:1310.6321)

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