Definition 6.91.
A topos \(T\) is called locally coherent if every object \(X \in T\) admits a cover \(\bigsqcup_{\alpha} U_{\alpha} \twoheadrightarrow X\) by coherent objects.
Definition 6.91.
A topos \(T\) is called locally coherent if every object \(X \in T\) admits a cover \(\bigsqcup_{\alpha} U_{\alpha} \twoheadrightarrow X\) by coherent objects.