Australian Category Seminar

Commuting tensor products via normal oplax monoidal double categories

Richard Garnerยท13 August 2025

In this talk, I explain an abstract framework for forming the commuting tensor product of monads a normal oplax monoidal double category. This generalises the framework of Muggins--Lopez Franco, and in particular, captures the Boardman-Vogt tensor product of symmetric multicategories. A novel aspect is that we obtain a notion of commuting tensor product also for bimodules between monads, which in the case of symmetric multicategories generalises earlier work of Dwyer and Hess.

This is joint with with Nicola Gambino and Christina Vasilakopoulou.

Back