On Thu, Jan 15, 2009 at 2:24 PM, Miguel Mitrofanov
<miguelim...@yandex.ru> wrote:

> If, however, you category is a category of endofunctors of some category D
> (that is, functors D -> D), and T is composition, then our "monoids" become
> monads on D: I is an identity functor, first morphism is "return", and
> second one is "join".

You can see this more concretely in Haskell code here:
http://sigfpe.blogspot.com/2008/11/from-monoids-to-monads.html

(This probably ought to be in a separate thread.)
--
Dan
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to