Proposition 7.33.3. Let $\mathcal{C}$ be a site. Assume that finite limits exist in $\mathcal{C}$. (I.e., $\mathcal{C}$ has fibre products, and a final object.) A point $p$ of such a site $\mathcal{C}$ is given by a functor $u : \mathcal{C} \to \textit{Sets}$ such that
$u$ commutes with finite limits, and
if $\{ U_ i \to U\} $ is a covering, then $\coprod _ i u(U_ i) \to u(U)$ is surjective.
Proof. Suppose first that $p$ is a point (Definition 7.32.2) given by a functor $u$. Condition (2) is satisfied directly from the definition of a point. By Lemma 7.32.3 we have $(h_ U)_ p = u(U)$. By Lemma 7.32.5 we have $(h_ U^\# )_ p = (h_ U)_ p$. Thus we see that $u$ is equal to the composition of functors
Each of these functors is left exact, and hence we see $u$ satisfies (1).
Conversely, suppose that $u$ satisfies (1) and (2). In this case we immediately see that $u$ satisfies the first two conditions of Definition 7.32.2. And its stalk functor is exact, because it is a left adjoint by Lemma 7.32.5 and it commutes with finite limits by Lemma 7.33.2. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)