Pregroupoid
Definition, Meaning & Examples
Part of speech noun
Quick meaning: Pregroupoid is a noun meaning (category theory) A category together with its inversion.
Meaning
(category theory) A category together with its inversion.
Example Sentences
This implies that the so-called internal Galois pregroupoid of an extension is an internal groupoid.
Word Forms
- pregroupoids
Related Words
Related dictionary entries include groupoid, subgroupoid, semigroupoid, inverse, coidentity, cocategory.
Related Dictionary Tools
Sources & Attribution
FreeDictionaryAPI.com / Wiktionary · Original source · CC BY-SA 4.0
Dictionary data is provided by FreeDictionaryAPI.com and sourced from Wiktionary under its stated license.