>>819 補足
1）いまや、圏論の基礎が ZFCであろうが、ZFCG(ャOロタンディーャN宇宙)であろうが、NBGであろうが
　それは IUTにとっては 些末な話です
2）上記の 数学原論 東京大学出版会 斎藤毅 著 2020の
（グロタンディーク）宇宙Uの説明は、結構スタンダードだと思うよ
（きっと 望月”宇宙”を 意識していると思う。IUTの後 2020年だからね ；ｐ）
3）一方、望月氏の>>765-766 「Anabelioidの幾何学」で論じる宇宙は
　望月ワールドの宇宙ですね （＾＾