pregroupoid

English

Etymology

From pre- +‎ groupoid.

Noun

pregroupoid (plural pregroupoids)

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