Overview
The course ran period 1 2020 to period 2 2021. It was interrupted by the Covid pandemic. The course will be run on demand, and if you are interested in taking the course then please contact Justin Pearson.
The course report and student survey from the last instance of the course can be found here
Introduction and brief syllabus
Provides an introduction to Category Theory for students of computer science. Categories, functors, natural transformations, types of arrows, products, coproducts, limits, colimits, adjoints, monads, algebras.
Last time we used material will be taken from Steve Awodey’s Category Theory book, but I plan to find a more suitable textbook next time the course is run.
Course Format
One lecture and one exercise session in each week except week 37 and week 39. If you want to get points for the course then you need to attend the exercise sessions. You are expected to do all the exercises. During the exercise session, I will ask random people to solve the exercises on the board. If you cannot come to an exercise session and you still want credit then please email me solutions to all exercises. I will put the required exercises in the information about each lecture.
Examination
Examination by active participation at lectures and exercise sessions 3hp with an optional project with presentation 2hp.