15 Jan
2009
15 Jan
'09
5:42 p.m.
On Thu, Jan 15, 2009 at 2:24 PM, Miguel Mitrofanov
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