horizontal categorification

名词 n.

英文释义

名词 n.
  1. The process by which an algebraic structure is first categorified, realising it as a one-object category with certain properties, and then categories with those properties (and any number of objects) are studied; also, the result of this process.
    — The horizontal categorification of a group is a groupoid.

词形变化

0 次浏览 数据来源: Wiktionary