Topos Theory (MGS 2022)

A topos is a category whose properties make it sufficiently similar to the category of sets than many of the constructions we make in set theory may also be carried out in an arbitrary topos. In addition to the geometric character, topoi share a strong connection with logic and type theory. In this course, we will examine the basics of the theory of topoi with an eye towards their applications in computer science. Possible topics include:

Lecture notes:

Material from the lectures:

Course Summary


Last modified: Fri Apr 16 10:07:21 BST 2021