Citations:pregroupoid

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English citations of pregroupoid

Etymology

[edit]

pre- +‎ groupoid

Noun

[edit]
  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..