[Haskell-cafe] Category Theory woes

Creighton Hogg 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...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100202/8efcc1c2/attachment.html


More information about the Haskell-Cafe mailing list