The linearity of traces in monoidal categories and bicategories

Kate Ponto, Michael Shulman

We show that in any symmetric monoidal category, if a weight for colimits is absolute, then the resulting colimit of any diagram of dualizable objects is again dualizable. Moreover…