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. -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
