monoid in a double category

This particularizes to a monad morphism.

References.

• Monads in Double Categories (Fiore, Gambino, Kock)