Definition 6.131.
We denote by \(\Topos^{\coh} \subseteq \Topos\) the non-full subcategory spanned by the coherent topoi and the coherent morphisms: those morphisms of topoi \(f\colon T \to S\) such that \(f^*\colon S \to T\) preserves coherent objects.