# Contents

## Idea

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

## Definition

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)

## References

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