わたしは "Higher Topos Theory" 第３回．diagram category 上のモデル構造，単体集合，∞ 圏． ナカイくんは BP の話．ツチヤさんは log CFT における量子群の作用の話．

陰関数．