categorify

Verb

 * 1)  To define a theorem in terms of category theory