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
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe