Origin: Latin suffix -tion
Definition, synonyms and related words
The reverse process of categorification: The mapping of a category theoretic category to a set by using a systematic process in which isomorphic objects in a category are identified as equal.