Pregroupoid

noun

noun ·Rare ·Advanced level

Definitions

Noun
  1. 1
    A category together with its inversion.

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

Example

More examples

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

Etymology

From pre- + groupoid.

Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.