Lemma 67.11.3. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of decent algebraic spaces over $S$. Let $x \in |X|$ be a point with image $y = f(x) \in |Y|$. The following are equivalent

$f$ induces an isomorphism $\kappa (y) \to \kappa (x)$, and

the induced morphism $\mathop{\mathrm{Spec}}(\kappa (x)) \to Y$ is a monomorphism.

## Comments (0)