CPSC 617:  Category Theory for Computer Science

Lecturer: Robin Cockett

COURSE OUTLINE:
    
Here. Most of the following topics will be covered:

Texts:
There are many good texts introducing category theory:
  1. Category for Computer Science, Micheal Barr and Charles Wells (available on line) 1999
  2. Category Theory, Steve Awodey, Oxford University Press 2006.
  3. Categories for the working mathematician, Saunders Mac Lane, Springer Verlag 2000.
  4. Introduction to higher-order categorical logic, Joachim Lambek and Phil Scott 1988.
  5. Basic Category Theory for computer scientists, Benjamin Pierce, MIT press, 1991.
  6. Categories for Types, Roy Crole, Cambridge University Press,1993.
  7. Practical Foundations of Mathematics, Paul Taylor, Cambridge University Press, 1999
  8.  .......

Exercises:
There will be four exercises sets ...
  1. Here is the first.
  2. Here is the second.
  3. Here is the third.
  4. Here  is the last!

Links:

Past projects:

     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!