Example 6.92.
If \(T\) is a hypercomplete locally coherent topos, we get a surjection \(\An_{/S} \twoheadrightarrow T\), for which the pullback functor is conservative.
Example 6.92.
If \(T\) is a hypercomplete locally coherent topos, we get a surjection \(\An_{/S} \twoheadrightarrow T\), for which the pullback functor is conservative.