horizontal categorification en · NOUN
Meanings
-
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.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| horizontal categorifications | Number=Plur | lexicographic |