Lecturer: Robin Cockett
Most of the following topics will be covered:
There are many good texts introducing category theory (it is worth having one at hand!):
- Category for Computer Science, Micheal Barr and Charles Wells (available on line) 1999
- Category Theory, Steve Awodey, Oxford University Press 2006 (second edition 2010).
- Categories for the working mathematician, Saunders Mac Lane, Springer Verlag 2000.
- Introduction to higher-order categorical logic, Joachim Lambek and Phil Scott 1988.
- Basic Category Theory for computer scientists, Benjamin Pierce, MIT press, 1991.
- Categories for Types, Roy Crole, Cambridge University Press,1993.
- Practical Foundations of Mathematics, Paul Taylor, Cambridge University Press, 1999
- Basic Category Theory, Tom Leister, Cambridge University Press, 2014
- Category Theory in Context, Emily Reil, Dover Modern Math Originals, 2016
There will be four exercises sets (80%)
- Here is the first (due January 27th 2023, worth 20%).
- Here is the second (due February 17th 2023, worth 20%)
- Here is the third (due March 31st 2023, worth 20%)
- Here is the last (due April 12th 2023, worth 20%)
There will be a final project (worth 20%) which should be a study of some topic in an area related to category theory. You are expected to present your projects and to provide a write up of about 15-20 pages.