## Tag `00VH`

Chapter 7: Sites and Sheaves > Section 7.6: Sites

Definition 7.6.2. A

site^{1}is given by a category $\mathcal{C}$ and a set $\text{Cov}(\mathcal{C})$ of families of morphisms with fixed target $\{U_i \to U\}_{i \in I}$, calledcoverings of $\mathcal{C}$, satisfying the following axioms

- If $V \to U$ is an isomorphism then $\{V \to U\} \in \text{Cov}(\mathcal{C})$.
- If $\{U_i \to U\}_{i\in I} \in \text{Cov}(\mathcal{C})$ and for each $i$ we have $\{V_{ij} \to U_i\}_{j\in J_i} \in \text{Cov}(\mathcal{C})$, then $\{V_{ij} \to U\}_{i \in I, j\in J_i} \in \text{Cov}(\mathcal{C})$.
- If $\{U_i \to U\}_{i\in I}\in \text{Cov}(\mathcal{C})$ and $V \to U$ is a morphism of $\mathcal{C}$ then $U_i \times_U V$ exists for all $i$ and $\{U_i \times_U V \to V \}_{i\in I} \in \text{Cov}(\mathcal{C})$.

The code snippet corresponding to this tag is a part of the file `sites.tex` and is located in lines 677–695 (see updates for more information).

```
\begin{definition}
\label{definition-site}
A {\it site}\footnote{This notation differs from that of \cite{SGA4}, as
explained in the introduction.} is given by a category $\mathcal{C}$ and a set
$\text{Cov}(\mathcal{C})$ of families of morphisms with fixed target
$\{U_i \to U\}_{i \in I}$, called {\it coverings of $\mathcal{C}$},
satisfying the following axioms
\begin{enumerate}
\item If $V \to U$ is an isomorphism then $\{V \to U\} \in
\text{Cov}(\mathcal{C})$.
\item If $\{U_i \to U\}_{i\in I} \in \text{Cov}(\mathcal{C})$ and for each
$i$ we have $\{V_{ij} \to U_i\}_{j\in J_i} \in \text{Cov}(\mathcal{C})$, then
$\{V_{ij} \to U\}_{i \in I, j\in J_i} \in \text{Cov}(\mathcal{C})$.
\item If $\{U_i \to U\}_{i\in I}\in \text{Cov}(\mathcal{C})$
and $V \to U$ is a morphism of $\mathcal{C}$ then $U_i \times_U V$
exists for all $i$ and
$\{U_i \times_U V \to V \}_{i\in I} \in \text{Cov}(\mathcal{C})$.
\end{enumerate}
\end{definition}
```

## Comments (0)

## Add a comment on tag `00VH`

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 lower-right corner).

All contributions are licensed under the GNU Free Documentation License.

There are no comments yet for this tag.

There are also 2 comments on Section 7.6: Sites and Sheaves.