• View
• Edit
• History
• Print

LiteratureList

The CTFP10 course is based on the lecture notes, which are published on the Haskell wiki. There are several good books that may serve as reference or inspiration - among the more technical, we can recommend

• Awodey: Category Theory
  • Somewhat pricey, but a very good heir to the throne possessed by Mac Lane's book.
• Mac Lane: Categories for the Working Mathematician
  • Somewhat aged by now, but still a good exposition of the basics.
• Lawvere and Schanuel: Conceptual Mathematics
  • Written for an advanced High School level audience, but very didactical in presentation.

In addition to these, a sequence of web-based sources are presented as we go along: blog posts, wiki pages, papers et.c. with good expositions and perspectives on the subjects discussed. Participants are expected to contribute to and develop this collection.