\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

The Stacks project

Remark 7.6.3. (On set theoretic issues – skip on a first reading.) The main reason for introducing sites is to study the category of sheaves on a site, because it is the generalization of the category of sheaves on a topological space that has been so important in algebraic geometry. In order to avoid thinking about things like “classes of classes” and so on, we will not allow sites to be “big” categories, in contrast to what we do for categories and $2$-categories.

Suppose that $\mathcal{C}$ is a category and that $\text{Cov}(\mathcal{C})$ is a proper class of coverings satisfying (1), (2) and (3) above. We will not allow this as a site either, mainly because we are going to take limits over coverings. However, there are several natural ways to replace $\text{Cov}(\mathcal{C})$ by a set of coverings or a slightly different structure that give rise to the same category of sheaves. For example:

  1. In Sets, Section 3.11 we show how to pick a suitable set of coverings that gives the same category of sheaves.

  2. Another thing we can do is to take the associated topology (see Definition 7.47.2). The resulting topology on $\mathcal{C}$ has the same category of sheaves. Two topologies have the same categories of sheaves if and only if they are equal, see Theorem 7.49.2. A topology on a category is given by a choice of sieves on objects. The collection of all possible sieves and even all possible topologies on $\mathcal{C}$ is a set.

  3. We could also slightly modify the notion of a site, see Remark 7.47.4 below, and end up with a canonical set of coverings.

Each of these solutions has some minor drawback. For the first, one has to check that constructions later on do not depend on the choice of the set of coverings. For the second, one has to learn about topologies and redo many of the arguments for sites. For the third, see the last sentence of Remark 7.47.4.

Our approach will be to work with sites as in Definition 7.6.2 above. Given a category $\mathcal{C}$ with a proper class of coverings as above, we will replace this by a set of coverings producing a site using Sets, Lemma 3.11.1. It is shown in Lemma 7.8.6 below that the resulting category of sheaves (the topos) is independent of this choice. We leave it to the reader to use one of the other two strategies to deal with these issues if he/she so desires.


Comments (0)

There are also:

  • 2 comment(s) on Section 7.6: Sites

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 00VI. Beware of the difference between the letter 'O' and the digit '0'.