pregroupoid
Jump to navigation
Jump to search
Englisch
[edit]Etymology
[edit]Nomen
[edit]pregroupoid (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..