## Tag `00Y5`

Chapter 7: Sites and Sheaves > Section 7.31: Points

Definition 7.31.2. Let $\mathcal{C}$ be a site. A

point $p$ of the site $\mathcal{C}$is given by a functor $u : \mathcal{C} \to \textit{Sets}$ such that

- For every covering $\{U_i \to U\}$ of $\mathcal{C}$ the map $\coprod u(U_i) \to u(U)$ is surjective.
- For every covering $\{U_i \to U\}$ of $\mathcal{C}$ and every morphism $V \to U$ the maps $u(U_i \times_U V) \to u(U_i) \times_{u(U)} u(V)$ are bijective.
- The stalk functor $\mathop{\textit{Sh}}\nolimits(\mathcal{C}) \to \textit{Sets}$, $\mathcal{F} \mapsto \mathcal{F}_p$ is left exact.

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

```
\begin{definition}
\label{definition-point}
Let $\mathcal{C}$ be a site. A {\it point $p$ of the site
$\mathcal{C}$} is given by a functor $u : \mathcal{C}
\to \textit{Sets}$ such that
\begin{enumerate}
\item For every covering $\{U_i \to U\}$ of $\mathcal{C}$ the map
$\coprod u(U_i) \to u(U)$ is surjective.
\item For every covering $\{U_i \to U\}$ of $\mathcal{C}$ and
every morphism $V \to U$ the maps
$u(U_i \times_U V) \to u(U_i) \times_{u(U)} u(V)$ are bijective.
\item The stalk functor $\Sh(\mathcal{C}) \to \textit{Sets}$,
$\mathcal{F} \mapsto \mathcal{F}_p$ is left exact.
\end{enumerate}
\end{definition}
```

## Comments (2)

## Add a comment on tag `00Y5`

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.