noun
Meaning 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.
Definition source: English Wiktionary via Wiktextract
Topics: category-theory, computing, engineering, mathematics, natural-sciences, physical-sciences, sciences
Examples
- The horizontal categorification of a group is a groupoid.
Meaning relationships
Synonyms: oidification
Antonyms: none provided