**Proof.**
(1) $\Rightarrow $ (2). If $f$ is universally injective, then the first projection $|\mathcal{X} \times _\mathcal {Y} \mathcal{X}| \to |\mathcal{X}|$ is injective, which implies that $|\Delta |$ is surjective.

(2) $\Rightarrow $ (1). Assume $\Delta $ is surjective. Then any base change of $\Delta $ is surjective (see Properties of Stacks, Section 100.5). Since the diagonal of a base change of $f$ is a base change of $\Delta $, we see that it suffices to show that $|\mathcal{X}| \to |\mathcal{Y}|$ is injective. If not, then by Properties of Stacks, Lemma 100.4.3 we find that the first projection $|\mathcal{X} \times _\mathcal {Y} \mathcal{X}| \to |\mathcal{X}|$ is not injective. Of course this means that $|\Delta |$ is not surjective.

(3) $\Rightarrow $ (2). Let $t \in |\mathcal{X} \times _\mathcal {Y} \mathcal{X}|$. Then we can represent $t$ by a morphism $t : \mathop{\mathrm{Spec}}(k) \to \mathcal{X} \times _\mathcal {Y} \mathcal{X}$ with $k$ an algebraically closed field. By our construction of $2$-fibre products we can represent $t$ by $(x_1, x_2, \beta )$ where $x_1, x_2 : \mathop{\mathrm{Spec}}(k) \to \mathcal{X}$ and $\beta : f \circ x_1 \to f \circ x_2$ is a $2$-morphism. Then (3) implies that there is a $2$-morphism $\alpha : x_1 \to x_2$ mapping to $\beta $. This exactly means that $\Delta (x_1) = (x_1, x_1, \text{id})$ is isomorphic to $t$. Hence (2) holds.

(2) $\Rightarrow $ (3). Let $x_1, x_2 : \mathop{\mathrm{Spec}}(k) \to \mathcal{X}$ be morphisms with $k$ an algebraically closed field. Let $\beta : f \circ x_1 \to f \circ x_2$ be a $2$-morphism. As in the previous paragraph, we obtain a morphism $t = (x_1, x_2, \beta ) : \mathop{\mathrm{Spec}}(k) \to \mathcal{X} \times _\mathcal {Y} \mathcal{X}$. By Lemma 101.3.3

\[ T = \mathcal{X} \times _{\Delta , \mathcal{X} \times _\mathcal {Y} \mathcal{X}, t} \mathop{\mathrm{Spec}}(k) \]

is an algebraic space locally of finite type over $\mathop{\mathrm{Spec}}(k)$. Condition (2) implies that $T$ is nonempty. Then since $k$ is algebraically closed, there is a $k$-point in $T$. Unwinding the definitions this means there is a morphism $\alpha : x_1 \to x_2$ in $\mathop{\mathrm{Mor}}\nolimits (\mathop{\mathrm{Spec}}(k), \mathcal{X})$ such that $\beta = \text{id}_ f \star \alpha $.
$\square$

## Comments (0)