20/02/12 17:44:49.14 7R4y+mJH.net
SSやその他の数学者と望月では圏論の使用理解が完全に割れてるからね
センシティブ、というのは圏論を等式重視の普通の感覚で見るのか、それとも
圏には構造で統制されているが複雑性があって、そこで色々細かい射を使えると見るのかの場合の、後者
つまり望月にとっては群論の圏だから群論的操作につき∨による宇宙の区別を考えることができる
他の数学者は群の多重圏として見ているから全体としては∧だけで十分となる。つまり不等式がない
これのどちらが正しいのかという時、どうしても操作の履歴を忘れるという付加操作を導入する
望月のほうが不利になると言わざるを得ない。他の数学者はもっと関手的に考えれば良いと思っている
するとIUTの戦略は崩壊する