Definition 7.3.
An étale scheme is a ringed topos \((T, \Oo)\) that is locally isomorphic to \(\Spec(R)_{\et}\). We similarly obtain a category \(\Sch_{\et}\).
Definition 7.3.
An étale scheme is a ringed topos \((T, \Oo)\) that is locally isomorphic to \(\Spec(R)_{\et}\). We similarly obtain a category \(\Sch_{\et}\).