1. Verb. (mathematics transitive) To define a theorem in terms of category theory ¹
¹ Source: wiktionary.com