Seminar: Category Theory for Computer Science
Last updated 09/03/05 for Fall Semester 2005.
Discussion Leader: Greg Lavender
When/Where: Friday 3-5 pm, PAI 5.72B
Description
This is a research seminar on category theory in computer science. This is not a formal course,
but an informal reading and discussion seminar intended to give advanced undergraduates and
graduate students in computer science and mathematics a sufficient foundation in category
theory to begin research in the theory of programming languages. The only prerequisite is
commitment to reading papers and books, participating in discussions, and being disciplined
enough to keep at it when the going gets tough. You will be rewarded in proportion to the effort invested.
Readings
We will read a number of papers and lecture notes, which will be provided at the start of
each seminar meeting. The following books will also be consulted.
- Conceptual Mathematics, by F.W. Lawvere and S.H Schanuel
- Sets for Mathematics, by F.W. Lawevere and R. Rosebrugh
- Introduction to Lattices and Order, by B.A. Davies and H.A. Priestley
- Elementary Categories, Elementary Toposes, by C. McLarty
- Category Theory for Computing Science, 3rd Edition, by M. Barr and C. Wells
- Topoi: The Categorial Analysis of Logic, by R. Goldblatt
- Toposes and Local Set Theories, by J.L. Bell
- Introduction to Higher-Order Categorical Logic by J. Lambek and P.J. Scott
Related Links