monad morphism

• monoid homomorphism in a double category
• sesquilaw morphism

Tags: Monad, double category.