Title of the course: “Frames, topologies, and duality theory”
Course description: Frames are complete lattices that capture the basic features of topologies. The study of frames was initiated in the fifties of the last century. The resulting area is known as pointfree topology. The aim of this course is to present the basics of pointfree topology. The emphasis will be on providing pointfree descriptions of several well-known categories of topological spaces, such as compact Hausdorff spaces and Stone spaces, as well as their non-Hausdorff generalizations, spectral spaces and stably compact spaces. The corresponding categories of frames, as well as the resulting duality theory, will be discussed in detail. The celebrated Stone duality for Boolean algebras and for distributive lattices will be derived as corollaries. Applications of these results to logic will be mentioned towards the end of the course.
Lecture 1 video
Lecture 2 video
Lecture 3 video
Lecture 4 video