Talk:Distributive law between monads


 * Suppose that $$(S,\mu^S,\eta^S)$$ and $$(T,\mu^T,\eta^T)$$ are two monads on a category C.

The above is obviously not an appropriate way for a Wikipedia article to begin. It doesn't tell the lay reader that mathematics (rather than chemistry, theology, video games, etc.) is what this is about.

Also, I think it would be nice to change $$l\,$$ to $$\ell\,$$, but I can't do that in the graphics embodying the commutative diagrams. Michael Hardy 00:29, 10 November 2006 (UTC)

External links modified
Hello fellow Wikipedians,

I have just modified one external link on Distributive law between monads. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
 * Added archive https://web.archive.org/web/20110514231306/http://www.case.edu/artsci/math/wells/pub/pdf/ttt.pdf to http://www.case.edu/artsci/math/wells/pub/pdf/ttt.pdf

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

Cheers.— InternetArchiveBot  (Report bug) 12:24, 11 September 2017 (UTC)

Examples
This article is in dire need of examples! Preferably more than just the prototypical example of the monoid and abelian group monads on $$\mathbf{Set}$$ giving the ring monad (or the monoid and commutative monoid monads giving the semiring monad, which I guess works in exactly the same way) – at least one other algebraic example would be nice, but I'm not personally aware of one.

I have added an Examples section with a {needs expansion} tag for anyone who'd like to contribute :) Jayy V (talk) 00:54, 19 February 2024 (UTC)