categorification (English, noun)
expansion: categorification (countable and uncountable, plural categorifications)
Senses:
topics: category-theory
computing
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.
tags: countable
uncountable
Forms:
form: categorifications
tags: plural