pregroupoid

Noun

 * 1)  A category together with its inversion.