pregroupoid

Noun

Meaning

pregroupoid (plural pregroupoids)

(category theory) A category together with its inversion.

Source: en.wiktionary.org

pregrinding pregroove preground pregrown pregrowth pregs