categorification
Noun
Meaning
categorification (countable and uncountable, plural categorifications)
(category theory) A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.
Noun
categorification (countable and uncountable, plural categorifications)
(category theory) A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.