时间：2023年5月15日（星期一）13:30-15:30
地点：西湖大学云谷校区E4-201
主讲人：西湖大学 关力凡博士
报告题目：Higher topos theory (I)
报告摘要：In this and next seminar, we will discuss definitions and basic properties of infinity topoi, with an emphasize on the difference between infinity topoi and ordinary topoi. In this seminar, we will discuss alternative definitions of infinity topoi due to Rezk and Giraud, respectively, and show equivalence of all those definitions.
