Example 7.4.
A classical scheme is exactly a \(0\)-localic Zariski scheme.
A classical Deligne–Mumford stack is exactly a \(1\)-localic étale scheme.
If \((T,\Oo)\) is a Zariski scheme, and \(X \in T\), then \((T_{/X}, \Oo\vert_{T_{/X}})\) is again a Zariski scheme.