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.