[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