pregroupoid
English
editEtymology
editNoun
editpregroupoid (plural pregroupoids)
- (category theory) A category together with its inversion.
- 2015, Marino Gran, Diana Rodelo, “Beck-Chevalley condition and Goursat categories”, in arXiv[1]:
- This implies that the so-called internal Galois pregroupoid of an extension is an internal groupoid..