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

Oh indeed! On Wed, Jan 21, 2009 at 8:00 AM, Eugene Kirpichov wrote:

No, I mean monads :) I've never thought of them as of monoids in the endofunctor category.

2009/1/21 David Leimbach :

...

You mean monoids right? :-)

On Wed, Jan 21, 2009 at 1:30 AM, Eugene Kirpichov 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 :

...

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