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)