Sekirov Dictionary

categorify

verb1

To define a theorem in terms of category theory

forms

categorified · categorifying · categorifies

This dictionary works without the internet: on your phone · in Chrome