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

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