Locales and Topos Theory
Series: Graduate Student Colloquium
Location: ENR 2 S395
Presenter: Mohammad Latifi Jebelli, Department of Mathematics, University of Arizona
This is an introductory talk to the theory of locales and topos with applications in Mathematical Logic.
We will start with the notion of locale as a generalization of Topological spaces. Then, we will continue with topos theory and finally, we will go over some relations to logic and intuitionistic mathematics.
(Bagels and refreshments will be served.)