pregroupoid

名词 n.

英文释义

名词 n.
  1. A category together with its inversion.
    — This implies that the so-called internal Galois pregroupoid of an extension is an internal groupoid..

词形变化

pregroupoids plural

词源

From pre- + groupoid.
0 次浏览 数据来源: Wiktionary