horizontal categorification
名词 n.
英文释义
名词 n.
-
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