What is "categorification"

n. (context mathematics English) A procedure that defines theorems in terms of category theory

In mathematics, categorification is 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.

The reverse of categorification is the 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.