Definition 59.20.2. Let S be a scheme. Let \tau \in \{ fppf, syntomic, smooth, {\acute{e}tale}, \linebreak[0] Zariski\} .
A big \tau -site of S is any of the sites (\mathit{Sch}/S)_\tau constructed as explained above and in more detail in Topologies, Definitions 34.7.8, 34.6.8, 34.5.8, 34.4.8, and 34.3.7.
If \tau \in \{ {\acute{e}tale}, Zariski\} , then the small \tau -site of S is the full subcategory S_\tau of (\mathit{Sch}/S)_\tau whose objects are schemes T over S whose structure morphism T \to S is étale, resp. an open immersion. A covering in S_\tau is a covering \{ U_ i \to U\} in (\mathit{Sch}/S)_\tau such that U is an object of S_\tau .
Comments (0)