Re: [Haskell-cafe] A question about monad based on http://en.wikipedia.org/wiki/Monad_(category_theory)

Thank you very much Brent,

...

My question is - when we think of Maybe as a functor T:C -> C .... should we think that C here refers to Hakell types? As in, (Int and Maybe Int are objects in C) and (Int -> Int and Maybe Int -> Maybe Int are arrows in C) and T is an arrow between them. Is that right?

Yes, exactly.

I really needed this confirmation - thanks.

There are is also a form of the monad laws in terms of fmap, return, join. For more I recommend checking out

http://en.wikibooks.org/wiki/Haskell/Category_theory

If I am not mistaken, this pages has been updated recently. Thanks.

Regards, Kashyap