Shape Theory of $\infty$-Topoi: Inverse Limits, Products, and (Co)homology

Georg Lehner

We give a systematic account of the shape theory of $\infty$-topoi, viewing the shape of an $\infty$-topos as its generalized homotopy type. We establish the basic functorial prope…