On Jan 20, 7:27 pm, Don Stewart d...@galois.com wrote:
http://apfelmus.nfshost.com/monoid-fingertree.html
Thanks Apfelmus for this inspiring contribution!
For additional reading material on a use of Monoids may I suggest my
article in the Monad.Reader issue 11 How to Refold a Map.
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 hims...@poczta.nom.pl:
Monads are monoids in categories of functors C - C Arrows are monoids in
subcategories of bifunctors (C^op) x C
You mean monoids right? :-)
On Wed, Jan 21, 2009 at 1:30 AM, Eugene Kirpichov ekirpic...@gmail.comwrote:
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 hims...@poczta.nom.pl:
No, I mean monads :) I've never thought of them as of monoids in the
endofunctor category.
2009/1/21 David Leimbach leim...@gmail.com:
You mean monoids right? :-)
On Wed, Jan 21, 2009 at 1:30 AM, Eugene Kirpichov ekirpic...@gmail.com
wrote:
Wow. This is a cool point of view on monads,
Oh indeed!
On Wed, Jan 21, 2009 at 8:00 AM, Eugene Kirpichov ekirpic...@gmail.comwrote:
No, I mean monads :) I've never thought of them as of monoids in the
endofunctor category.
2009/1/21 David Leimbach leim...@gmail.com:
You mean monoids right? :-)
On Wed, Jan 21, 2009 at 1:30 AM,
Andrzej Jaworski wrote:
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:-)
This is the nice thing about category theory! plenty of reuse of concepts :)
The situation for
Category Theory should speak for itself and I am so glad you guys have seen the
beauty of this
approach.
Yes, Mauro you are right: locally small Freyd categories correspond to monoidal
structure of Arrows,
but the strength in this correspondence is as yet unknown to me. I disagree
however
You're too late, they already have guru status. :)
On Wed, Jan 21, 2009 at 11:09 PM, Andrzej Jaworski
hims...@poczta.nom.pl wrote:
Let me also suggest to bestow the official guru status on Dan Piponi and
Heinrich Apfelmus:-)
___
Haskell-Cafe mailing
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