Oh indeed! On Wed, Jan 21, 2009 at 8:00 AM, Eugene Kirpichov <[email protected]>wrote:
> 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
