Oh indeed! On Wed, Jan 21, 2009 at 8:00 AM, Eugene Kirpichov <ekirpichov@gmail.com>wrote:
No, I mean monads :) I've never thought of them as of monoids in the endofunctor category.
2009/1/21 David Leimbach <leimy2k@gmail.com>:
You mean monoids right? :-)
On Wed, Jan 21, 2009 at 1:30 AM, Eugene Kirpichov <ekirpichov@gmail.com> wrote:
Wow. This is a cool point of view on monads, thank you for enlightening (the arrow stuff is yet too difficult for me to understand)!
2009/1/21 Andrzej Jaworski <himself@poczta.nom.pl>:
Monads are monoids in categories of functors C -> C Arrows are monoids in subcategories of bifunctors (C^op) x C -> C Trees are a playing
ground
for functors in general:-)
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe