Categorification

From Wikipedia, the free encyclopedia

In mathematics, categorification refers to the process of replacing set-theoretic theorems by category-theoretic analogues. Categorification, when done successfully, replaces sets by categories, functions with functors, and equations by natural isomorphisms of functors satisfying additional properties. The term was coined by Louis Crane.

Categorification is the reverse process of decategorification. Decategorification is a systematic process by which isomorphic objects in a category are identified as equal. Whereas decategorification is a straightforward process, categorification is usually much less straightforward, and requires insight into individual situations.

Examples of categorification include homology theories in topology.

[edit] Further reading

This category theory-related article is a stub. You can help Wikipedia by expanding it.