Proper morphisms of $\infty$-topoi

Louis Martini, Sebastian Wolf

We characterise proper morphisms of $\infty$-topoi in terms of a relativised notion of compactness: we show that a geometric morphism of $\infty$-topoi is proper if and only if it…