Category theory, 7.5 hp, HT2016. Thursdays 13:00–14:45 (from 1/9), Hus 6 Rum 306
Category Theory emerged in the 1940s, as a unified framework for reasoning about structures and concepts from different areas of mathematics, and handling constructions going between different types of structures. It is now a fundamental part of the language of many fields, not only in mathematics but also in computer science and even further afield.
This course will give a first introduction to the concepts and methods of category theory, and lay the groundwork for the more specialised categorical methods used in various fields. Core topics covered will include: categories, functors, natural transformations; limits and colimits; adjunctions; presheaves, representability, and the Yoneda lemma. More specialised topics may be covered at the end according to student interests and backgrounds: possibilities include operads and PROPs; sheaves and toposes; categorical logic; enriched category theory; higher category theory.
Prerequisites: A reasonable level of mathematical maturity will be assumed. This a PhD level course, also suitable for Master students, available as MM8031 “Selected Topics in Mathematics – Algebra” / “Valda ämnen i matematik – Algebra”, course code 48883.
- Teacher: Peter LeFanu Lumsdaine