Mackey 2-functors and Mackey 2-motives (Q2193520)

Mackey functors for finite groups have been studied for a long time, by many people and in various contexts. The book under review takes this notion to a complete new level, the categorification of Mackey functors. This means to adapt the basic properties of Mackey functors to suitable families of additive categories parametrized by a finite group, so that such a Mackey 2-functor would assign an additive category (instead of an abelian group) to each finite group. In this setup, one also has additive functors and natural transformations between them, formalizing induction, restriction and the Mackey formula. Formally, a Mackey 2 -functor is a strict 2-functor $\mathcal{M}\colon gpd^{op}\rightarrow ADD$ satisfying certain axioms, where $gpd$ is the 2-category of finite groupoids and $ADD$ is the 2-category of additive categories. For example, an axiom called Ambidexterity says that induction and coinduction are essentially the same. The authors also develop a motivic approach to their Mackey 2-functors, using a 2-category of so-called Mackey 2-motives which satisfies a universal property. The book has plenty of examples where Mackey 2-functors appear, including the theory of ordinary Mackey functors.