horizontal categorification
nounDefinitions
The process by which an algebraic structure is first categorified, realising it as a…
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.
The neighborhood
Vish — recursive loop
No curated loop yet for horizontal categorification. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA