Lemma 39.13.3. Given an equivalence relation j : R \to U \times _ S U over S there is a unique way to extend it to a groupoid (U, R, s, t, c) over S.
Proof. Omitted. This is a nice exercise in the definitions. \square
Lemma 39.13.3. Given an equivalence relation j : R \to U \times _ S U over S there is a unique way to extend it to a groupoid (U, R, s, t, c) over S.
Proof. Omitted. This is a nice exercise in the definitions. \square
Comments (0)
There are also: