Definition 34.3.5. A *big Zariski site* is any site $\mathit{Sch}_{Zar}$ as in Sites, Definition 7.6.2 constructed as follows:

Choose any set of schemes $S_0$, and any set of Zariski coverings $\text{Cov}_0$ among these schemes.

As underlying category of $\mathit{Sch}_{Zar}$ take any category $\mathit{Sch}_\alpha $ constructed as in Sets, Lemma 3.9.2 starting with the set $S_0$.

As coverings of $\mathit{Sch}_{Zar}$ choose any set of coverings as in Sets, Lemma 3.11.1 starting with the category $\mathit{Sch}_\alpha $ and the class of Zariski coverings, and the set $\text{Cov}_0$ chosen above.

## Comments (3)

Comment #79 by Keenan Kidwell on

Comment #86 by Johan on

Comment #87 by Keenan Kidwell on