from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. A procedure that defines theorems in terms of category theory
Sorry, no etymologies found.
Putting the structure back is called categorification.
Of course, this lead to me putting my energies into making Beamer slides instead of writing posts (or papers), so I thought I would point any interested parties to said slides, which are now posted on my website. most recent ones are from a colloquium at the University of Oregon, with some generalities on knot homology and categorification, and then my thoughts on how to categorify Reshetikhin-Turaev knot invariants (this is still conjectural at the moment, but I think we're getting closer).