from Wiktionary, Creative Commons Attribution/Share-Alike License
- v. To define a theorem in terms of category theory
Sorry, no etymologies found.
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).