[Haskell-cafe] Re: Category Theory woes

briand at aracnet.com briand at aracnet.com
Sat Feb 6 12:25:03 EST 2010


On Sun, 07 Feb 2010 01:38:08 +0900
"Benjamin L. Russell" <DekuDekuplex at Yahoo.com> wrote:

> On Tue, 02 Feb 2010 09:16:03 -0800, Creighton Hogg wrote:
> 
> > 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.
> 
> I have written an overview of various category theory books, which
> you may find useful, at the following site:
> 
> Learning Haskell through Category Theory, and Adventuring in Category
> Land: Like Flatterland, Only About Categories
> http://dekudekuplex.wordpress.com/2009/01/16/learning-haskell-through-category-theory-and-adventuring-in-category-land-like-flatterland-only-about-categories/
> 
> Hope this helps.

It does.

Does anybody have any opinions on Pitt, "Category Theory and Computer
Science" ?


Brian


More information about the Haskell-Cafe mailing list