Dictionary

pregroupoid en · NOUN

Etymology

From pre- + groupoid.

Meanings

1. A category together with its inversion.
   • This implies that the so-called internal Galois pregroupoid of an extension is an internal groupoid.. 2015, Marino Gran, Diana Rodelo, “Beck-Chevalley condition and Goursat categories”, in arXiv:

Forms