Lemma 67.10.7. An immersion of algebraic spaces is a monomorphism. In particular, any immersion is separated.
Proof. Let $f : X \to Y$ be an immersion of algebraic spaces. For any morphism $Z \to Y$ with $Z$ representable the base change $Z \times _ Y X \to Z$ is an immersion of schemes, hence a monomorphism, see Schemes, Lemma 26.23.8. Hence $f$ is representable, and a monomorphism. $\square$
Comments (0)