pregroupoid

noun

pregroupoid

noun

Etymology From pre- + groupoid.

1

Category theory, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences 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:

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.