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:
- Presheaves and Sheaves
- Grothendieck topologies
- The subobject classifier
- Lawvere-Tierney topologies
- The internal language
- Classifying topoi
Lecture notes:
Material from the lectures:
Course Summary
Exercises:
Last modified: Fri Apr 16 10:07:21 BST 2021