pregroupoid

noun1

1. •
   A category together with its inversion.

   • This implies that the so-called internal Galois pregroupoid of an extension is an internal groupoid.. — 2015