Time: 15:00-17:00, Monday, May 8, 2023
Venue: E4-201, Yungu Campus
Speaker: Dr. Feng Wang, Zhejiang University
Title: Classical topos theory
Abstract: Topos theory is essentially a generalization of point-set topology. We will give the definitions and basic properties in topos theory, including Grothendieck site, sheafification and Giraud's theorem.
