[Haskell-cafe] Re: Why monoids will abide...

[David Leimbach]

Oh indeed!

On Wed, Jan 21, 2009 at 8:00 AM, Eugene Kirpichov <ekirpichov at 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 at gmail.com>:
> > You mean monoids right?  :-)
> >
> > On Wed, Jan 21, 2009 at 1:30 AM, Eugene Kirpichov <ekirpichov at 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 at 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 at haskell.org
> >> > http://www.haskell.org/mailman/listinfo/haskell-cafe
> >> >
> >> _______________________________________________
> >> Haskell-Cafe mailing list
> >> Haskell-Cafe at haskell.org
> >> http://www.haskell.org/mailman/listinfo/haskell-cafe
> >
> >
> > _______________________________________________
> > Haskell-Cafe mailing list
> > Haskell-Cafe at haskell.org
> > http://www.haskell.org/mailman/listinfo/haskell-cafe
> >
> >
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090121/1f1073a1/attachment.htm