Lemma 37.35.4. Let $S$ be a scheme, and let $s$ be a point of $S$. The category of elementary étale neighborhoods of $(S, s)$ is cofiltered (see Categories, Definition 4.20.1).

Proof. This is immediate from the definitions and Lemma 37.35.3. $\square$

There are also:

• 3 comment(s) on Section 37.35: Étale neighbourhoods

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