Categorified trace for module tensor categories over braided tensor categories

André Henriques, David Penneys, James Tener

Given a braided pivotal category $\mathcal{C}$ and a pivotal module tensor category $\mathcal{M}$, we define a functor ${\mathrm{Tr}}_{\mathcal{C}}:\mathcal{M}\to \mathcal{C}$, called th…