Definition 6.69.

We say that a topos \(T\) is locally of dimension \(\leq d\) (resp. locally of finite dimension) if it is generated under colimits by objects \(U\) such that the slice topos \(T_{/U}\) has dimension \(\leq d\) (resp. has some finite dimension).