Introduces the philosophy and basic results of category theory. The main one that has become quite well known is called Yoneda's Lemma and is a really fun way to apply the philosophy of category theory. We also have simple but fundamental notions in theory such as duality and universality which relate many of the constructions we knew about but perhaps didn't realise we related in this or that way. Will try to be a living course that grows with student participation.