>>620
>望月氏は、IUTでグロタンディーク宇宙を用いたZFCGを使うので、”宇宙際”と称するようだが、

まず、ZFCGは集合論で圏論を基礎づける場合に使う　IUT以前
IUTが”宇宙際”というのは宇宙同士の通信を行うから、らしい（笑）
それが本当に必要かどうかは知らないが

>ではこの望月氏の”宇宙”とは？
>私の立論は望月氏の”宇宙”は、”素朴集合論ベン図の宇宙 Uven”

なんでいきなりベン図の宇宙が出てくるのか分からんが
そもそもそんなもんでいいんなら、圏論すら要らない
ふつうのZFC集合論で完璧にトレースできる

＞望月氏はIUTで、圏論の幾何だという。
＞さて、望月氏のIUT圏論が巷（ちまた）の圏論なのか？

それ疑う理由ある？

＞私の立論は望月氏のIUT圏論は 巷（ちまた）の圏論そのものであって

だったらいいじゃん

＞推論規則だのを問題にすることはない！

問題は「宇宙同士の通信ってなんだよ」ってところ

そこは圏論から逸脱してるから定式化が必要
でも全然できてない
それ、ショルツェに突っ込まれた
図星をつかれたもっちーは「読めばわかる」と言って逃げた
説明できないから　
ド素人の君と言い訳の仕方がそっくりだな（笑）