Distributive law

Last updated May 3, 2024

• 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

Tags: promonad, distributive law, Monad, Comonad

References

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