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

Abstract

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 properties of the shape, including preservation of colimits, descent, and homotopy invariance. We then prove that shape preserves cofiltered limits under compactness and perfectness hypotheses and establish Künneth-type formulas for products. Finally, we give conditions under which the shape of an $\infty$-topos determines its cohomology and homology.