categorification
Meanings
noun
- A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.
Word forms
Etymology
From category + -fication.
Derived words
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.