https://stringdiagram.com/2026/09/11/a-commutative-monad-is-a-monoid-in-the-category-of-lax-symmetric-monoidal-endofunctors/Dan Marsdenen2026-09-11T12:05:24+00:00A commutative monad is a monoid in the category of lax symmetric monoidal endofunctorsmathematics, math, category-theory, Commutative Monads, Distributive Laws