No, I mean monads :) I've never thought of them as of monoids in the endofunctor category.
2009/1/21 David Leimbach <[email protected]>: > You mean monoids right? :-) > > On Wed, Jan 21, 2009 at 1:30 AM, Eugene Kirpichov <[email protected]> > 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 <[email protected]>: >> > 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 >> > [email protected] >> > http://www.haskell.org/mailman/listinfo/haskell-cafe >> > >> _______________________________________________ >> Haskell-Cafe mailing list >> [email protected] >> http://www.haskell.org/mailman/listinfo/haskell-cafe > > > _______________________________________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe > > _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
