CPSC 617: Category Theory for Computer Science
Lecturer: Robin Cockett
COURSE OUTLINE:
Most of the following topics will be
covered:
- Introduction to categories: definitions and examples.
- Properties of maps: monic, epic, section, retraction, idempotent,
isomorphism, factorization.
- Functors and natural transformations: the category of categories.
- Adjoints and monads.
- Limits and colimits.
- Cartesian closed categories.
- Inductive and coinductive datatypes.
- Introduction to monoidal categories.
- Introduction to fibrations.
Exercises:
- First exercise set here.
- Second exercise sheet here.
- Third exercise sheet here.
- Fourth exercise sheet here.
Projects:
Each student must undertake a
project.
Links to the 2008 project papers: Aaron, Kevin, Robert, Sarah!
Links to the 2009 project papers: Jonathan, Mark!
Links to 2010 project papers: Masuka, Subashis!
Links:
- Course notes are here. I do update
them from time to time! ... comments are welcome.
- An electronic Journal: Theory and Applications of Categories (TAC).