19/08/02 21:05:09.91 MJnCyFQd.net
私が望月の立場に立たされたら、星・山下・サイディら検証チームとやった議論をまとめて公開するけどね
「これだけ厳密で詳細な検討をしてきたんだ！」と自信を持って公開するよ。何でやらんのかなと思う
そこからして怪しい
SSらが「抽象v.s.具象が我々の最大の関心事」と書いたのも、もとはと言えば充満多重同型から来ている
そこで彼らは納得できず、自然同型、つまりid-versionにしかならないと捉え、pilot objectを具象と抽象に分けることになった
充満多重同型とそれに必要なラベル装置というものが抽象と具象をごた混ぜにできるシステムであったわけだ