SSの単純化には2種類あって、radicalなものとdrasticなものがある
前者はアナロジーに頼らない普通の数学用語で書くということ
後者は充満多重同型とラベルの使用を「不必要・無意味」(望月レポによる)として採用しないということ
とくに後者はIUTの核心部分を損なうとSS自身が書いているが、面白いことに実はそれすら本質的な問題ではないと書いている

要するにSSにとって本質的な問題はpilot objectの抽象v.s.具象で、彼らが納得できなかったのが充満多重同型とラベルということ
つまり、原因を探ればこのような問題を生じさせているのは同型とラベルの問題で、それをクリアにするためには
drasticな単純化が必要であった、ということになる

ちょっと分かりにくいけどね。まあ、IUT側からすれば絶対に受け入れられないし、IUTではないということになる
その通りなんだが、SSがなぜそこまでしたのかということをIUTコミュは検討すべきだと思うけどね
Kimの検証云々の話も合ったけど、詳細に真剣にやればかなり大変な作業になると思うよ。
特にIUTは正しいを結論付ける場合はね