decategorification

Today it means: 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. Full definition →