WiSe 25/26: Higher topos theory

Time and place: Tuesday 14-16 in M311

This course will survey the rich theory of ∞-topoi. Beyond the basic concepts (descent, univalence, modalities, ...), we will discuss general construction techniques (limits and colimits, congruences, parametrization, Grothendieck topologies) and many examples, including Goodwillie calculus, finitary functors, geometric structures and schemes after Lurie, and analytic stacks after Clausen and Scholze.