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