Lemma 114.14.1. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Let $\{ f_ i : T_ i \to T\} _{i \in I}$ be a fpqc covering of schemes over $S$. Then the map

$\mathop{\mathrm{Mor}}\nolimits _ S(T, X) \longrightarrow \prod \nolimits _{i \in I} \mathop{\mathrm{Mor}}\nolimits _ S(T_ i, X)$

is injective.

Proof. Immediate consequence of Properties of Spaces, Proposition 65.17.1. $\square$

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