Wiktionary
categorify
vb. (context mathematics transitive English) To define a theorem in terms of category theory