議論と言うより こっくりさんに近い．

Khovanov が言っているのは，量子不変量を３次元から４次元にもちあげるのに「圏化」が必要で， それが Ringel-Hall 代数による量子群の実現，標準基底，結晶基底などの表現論に関わる，ということか？ http://www.math.toronto.edu/symplec/fall02/sem10210…