Meaning

1 senses
  1. (countable, uncountable)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.

Origin

From category + -fication.

From category + -fication.

Wiktionary, CC BY-SA 4.0 · source

categorification — meaning, examples, forms, synonyms | Krumeto