categorification

Today it means: A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory. Full definition →