学食でホリコシさんと話す

Lurie の∞圏で２次以上の射を可逆と仮定するのは，位相的場の理論で高次ループ補正がいらなかったりすることに似てるかも，とか．対称性を考慮に入れると（S¹同変コホモロジーを考えると），不変量が次元から Jordan 標準形に精密化されることとか．