On Sun, 07 Feb 2010 01:38:08 +0900 "Benjamin L. Russell" <dekudekup...@yahoo.com> wrote:
> On Tue, 02 Feb 2010 09:16:03 -0800, Creighton Hogg wrote: > > > 2010/2/2 Álvaro García Pérez <agar...@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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
