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

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

## Comments (0)