Definition 37.35.1. Let $S$ be a scheme. Let $s \in S$ be a point.
An étale neighbourhood of $(S, s)$ is a pair $(U, u)$ together with an étale morphism of schemes $\varphi : U \to S$ such that $\varphi (u) = s$.
A morphism of étale neighbourhoods $f : (V, v) \to (U, u)$ of $(S, s)$ is simply a morphism of $S$-schemes $f : V \to U$ such that $f(v) = u$.
An elementary étale neighbourhood is an étale neighbourhood $\varphi : (U, u) \to (S, s)$ such that $\kappa (s) = \kappa (u)$.
Comments (0)
There are also: