Lemma 7.10.5. Given a pair of coverings $\{ U_ i \to U\}$ and $\{ V_ j \to U\}$ of a given object $U$ of the site $\mathcal{C}$, there exists a covering which is a common refinement.

Proof. Since $\mathcal{C}$ is a site we have that for every $i$ the family $\{ V_ j \times _ U U_ i \to U_ i\} _ j$ is a covering. And, then another axiom implies that $\{ V_ j \times _ U U_ i \to U\} _{i, j}$ is a covering of $U$. Clearly this covering refines both given coverings. $\square$

There are also:

• 6 comment(s) on Section 7.10: Sheafification

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).