昨日の，まぁ考えればできるかなと思ったけど，なんだか思ったより手強いぞ．Duality in the Category of Andersen-Jantzen-Soergelも眺めてみたけど，$c$の部分の圏化しか与えていない気がする．Homに関する公式とかを書いてみて，それとの整合性あたりから探ってみよう．

大学の部屋は30度くらいあったので観念して冷房．窓をあけられればよいのだが，網戸がないので開けにくい．