Citations:pregroupoid

English citations of pregroupoid

Etymology

pre- +‎ groupoid

Noun

1. (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..