categorification
Meaning
- noun A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.
Similar words
decategorification formation overcategory small category comma category category theory site slice category bicategory functor category
Save “categorification” to learn later