[Haskell-cafe] Category Theory woes
wchogg at gmail.com
Tue Feb 2 12:16:03 EST 2010
2010/2/2 Álvaro García Pérez <agarcia at babel.ls.fi.upm.es>
> You may try Pierce's "Basic Category Theory for Computer Scientists" or
> Awodey's "Category Theory", whose style is rather introductory. Both of them
> (I think) have a chapter about functors where they explain the Hom functor
> and related topics.
I think Awodey's book is pretty fantastic, actually, but I'd avoid Pierce.
Unlike "Types and Programming Languages", I think "Basic Category
Theory..." is a bit eccentric in its presentation and doesn't help the
reader build intuition.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe