pregroupoid
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Noun[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..