Remark 6.119.

For locales, this is exactly the result that says that coherent locales are spatial, i.e. the locale is a spectral space. For locally coherent classical topoi (in the classical sense), this recovers Deligne's completeness theorem.