Time:13:30-15:30, Monday, May 15, 2023
Venue:E4-201, Yungu Campus
Speaker:Dr. Lifan Guan, Westlake University
Title:Higher topos theory (I)
Abstract: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.