You mean monoids right? :-)
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@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@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