The Stacks project

Remark 68.11.11. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of decent algebraic spaces over $S$. Let $x \in |X|$ with image $y \in |Y|$. Choose an elementary étale neighbourhood $(V, v) \to (Y, y)$ (possible by Lemma 68.11.4). Then $V \times _ Y X$ is an algebraic space étale over $X$ which has a unique point $x'$ mapping to $x$ in $X$ and to $v$ in $V$. (Details omitted; use that all points can be represented by monomorphisms from spectra of fields.) Choose an elementary étale neighbourhood $(U, u) \to (V \times _ Y X, x')$. Then we obtain the following commutative diagram

This comes from the identifications $\mathcal{O}_{X, \overline{x}} = \mathcal{O}_{U, u}^{sh}$, $\mathcal{O}_{X, x}^ h = \mathcal{O}_{U, u}^ h$, $\mathcal{O}_{Y, \overline{y}} = \mathcal{O}_{V, v}^{sh}$, $\mathcal{O}_{Y, y}^ h = \mathcal{O}_{V, v}^ h$ see in Lemma 68.11.8 and Properties of Spaces, Lemma 66.22.1 and the functoriality of the (strict) henselization discussed in Algebra, Sections 10.154 and 10.155.