先月末にJones-Wenzl projectorの存在に関する論文がでていた．Elias-Williamsonの圏を定義するにはrotatableなJones-Wenzl projectorが必要だが，彼らはあまりきちんとそのための条件を書いていなくてびみょーにいつ圏が定義されるのか曖昧だったのだ．条件はSoergel bimoduleがうまく行くのと同じtwo-colored quantum二項係数の消滅でかけるみたいで，結局全く同じ条件下でElias-Williamsonの圏もSoergel bimoduleの圏も機能するということがわかったみたい．あーすっきりした．