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