categorification noun1 •A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.In Section 3.4 we have already discussed the question of categorification of the algebra of functions on a homogeneous space like G(F)/K. — 2008 formscategorifications
