One of the most important roles played by topological spaces is being a base for geometry, i.e. “something to have sheaves on”. As is often the case, however, this classical notion falls short when it comes to describing homotopical geometry. The correct generalization is that of an ∞-topos. In this talk, I will describe the theory of ∞-topoi, how they generalize classical objects from topology and geometry, and several applications. No prior knowledge of 1-topoi or presentable ∞-categories will be assumed.
