2019-03-21 · On the tensor product of monads (an exercise in coend calculus) · category-theory