A scheme morphism is a monomorphism iff its diagonal is an isomorphism.

Lemma 26.23.2. Let $j : X \to Y$ be a morphism of schemes. Then $j$ is a monomorphism if and only if the diagonal morphism $\Delta _{X/Y} : X \to X \times _ Y X$ is an isomorphism.

Proof. This is true in any category with fibre products. $\square$

Comment #861 by Kestutis Cesnavicius on

Suggested slogan: A scheme morphism is a monomorphism iff its diagonal is an isomorphism

There are also:

• 2 comment(s) on Section 26.23: Monomorphisms

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).