The aim of the project is to get the students acquainted with the basics of Category Theory. Category Theory is an influential framework that was initially devised in the context of Algebraic Topology. Nowadays Category Theory is an established branch of Mathematics with ubiquitous applications. The project will follow the exposition of
- Awodey S. "Category Theory", 2nd ed. Oxford Logic Guides n.52, Oxford University Press.
Remarks: The maximum number of participants for this project is six. As there is substantial overlap with the MasterMath course Category Theory and Topos Theory (offered in Spring 2014 and Spring 2016), you cannot get full credit towards your MSc Logic degree for both activities. Students who previously passed the MasterMath course should not take this project. Students who pass this project and next year consider taking the MasterMath course should contact the Board of Examiners before finalising their plans.