[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
I am looking for a book on Category Theory that is ideally either aimed at
Type Theory or has the relevant topics to support the area.
I have bought three books on the topic so far, one 'Categories for Typesw'
by Crole
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
My references are a little bit outdated but you can check:
Basic category theory for computer scientists
by Benjamin C. Pierce
Categories, Types, and Structures: An Introduction to Category Theory
for the Working
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
In addition to Pierce's book, which was earlier mentioned, I strongly recommend
Spivak's Category Theory for The Sciences and Lawvere & Schanuel's Conceptual
Mathematics. Even though neither book is specifically for
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
You could have a look at Barr and Wells' "Category Theory for Computing
Science", 1998, which is available online:
http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
I think it strikes a reasonable balance for
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
I agree Pierce's book is great, and my favorite overall reference Awodey
also has some material on applications to type theory.
For specific connections, the best sources are probably lecture notes for
various summer