horizontal categorification

English

Noun

horizontal categorification (plural horizontal categorifications)

  1. (category theory) 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.
    Synonym: oidification
    The horizontal categorification of a group is a groupoid.

See also

This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.