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.