Contextualizebeta

categorification

noun

Etymology

From category + -fication.

  1. derived from κατηγορία — “head of predicables”
  2. derived from catēgoria — “class of predicables”
  3. derived from categorie
  4. derived from catégorie
  5. suffixed as categorification — “category + fication”

Definitions

  1. A procedure that defines theorems in terms of category theory by mapping concepts from…

    A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.

    • 2009, Volodymyr Mazorchuk, Lectures on sl₂( C )-Modules, Imperial College Press, page 221, Show that Φ⊕Φ is also a (naïve) homomorphism of naïve categorifications.
    • Khovanov's categorification of the Jones polynomial by Khovanov homology is the subject of Section 11.6.

The neighborhood

Vish — recursive loop

No curated loop yet for 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