Lemma 77.11.4. Let $B \to S$ as in Section 77.3. Let $(U, R, s, t, c)$ be a groupoid in algebraic spaces over $B$. In the commutative diagram

$\xymatrix{ & U & \\ R \ar[d]_ s \ar[ru]^ t & R \times _{s, U, t} R \ar[l]^-{\text{pr}_0} \ar[d]^{\text{pr}_1} \ar[r]_-c & R \ar[d]^ s \ar[lu]_ t \\ U & R \ar[l]_ t \ar[r]^ s & U }$

the two lower squares are fibre product squares. Moreover, the triangle on top (which is really a square) is also cartesian.

Proof. Omitted. Exercise in the definitions and the functorial point of view in algebraic geometry. $\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).