Etymology
Today it means: To define a theorem in terms of category theory Full definition →
From category + -fy.
Etymology from Wiktionary, CC BY-SA 4.0.