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

Eugene Kirpichov ekirpichov at gmail.com
Wed Jan 21 11:00:23 EST 2009


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
>
>


More information about the Haskell-Cafe mailing list