distributive law

• string diagrams for distributive laws
• distributive law monad-comonad
• distributive law comonad-monad
• distributive law of promonads

Proposition. 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.

• Conditions on a distributive law

References

• Distributivity for a Monad and a Comonad (Power, Watanabe)
• Computational Comonads and Intensional Semantics (Brookes, Geva)
• Towards a Mathematical Operational Semantics (Turi, Plotkin)

Back: monad, promonad, Comonad.