categorification

vertical categorification

horizontal categorification

decategorification, Grothendieck group

categorification in representation theory

Khovanov homology

Kazhdan-Lusztig theory

categorification via groupoid schemes

The geometric Langlands program

:* geometric Satake?

Edit this sidebar