Distributive law
# String diagrams for distributive laws
Assume we find two monads whose composition is a monad. If the multiplication and unit of the composite monad come from a candidate distributive law, then that candidate is indeed a distributive law.
# Distributive law monad-comonad
# Distributive law comonad-monad
# Distributive law of promonads
See also this note: distributive-laws-of-promonads.pdf Tags: Promonad, Distributive law, Monad, Comonad
References