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)[reply]

External links modified[edit]

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.

This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template {{source check}} (last update: 18 January 2022).

If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
If you found an error with any archives or the URLs themselves, you can fix them with this tool.

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

Examples[edit]

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)[reply]