今日は圏論勉強会でした。

今日は、Temperly-Lieb categoryを作る前段まで。平面的な関係とか操作の定式化。
二次会もいろいろ盛り上がりました。
でも眠いので、詳細は後で書く…かも。