Coherence for Pseudo Commutative Monads

Diego Manco

We prove that the free algebra functor associated to a symmetric, pseudo commutative 2-monad, from the underlying symmetric monoidal 2-category to the 2-category of algebras and ps…