Slogan by Kestutis Cesnavicius

http://stacks.math.columbia.edu/tag/01L3#comment-861
stacks · Jul 28, 2014 · bfcc97e · bfcc97e
1 parent c7dbdd6
commit bfcc97e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/schemes.tex b/schemes.tex
@@ -4291,6 +4291,9 @@ \section{Monomorphisms}
 
 \begin{lemma}
 \label{lemma-monomorphism}
+\begin{slogan}
+A scheme morphism is a monomorphism iff its diagonal is an isomorphism.
+\end{slogan}
 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