时间：2023年5月8日（星期一）15:00-17:00
地点：西湖大学云谷校区E4-201
主讲人：浙江大学 王枫博士
报告题目：Classical topos theory
报告摘要：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.
