>>249
>IUTeich の方は、本質的にスキーム論の枠組の外(=「IU 的な枠組」)で定式化される
うーん、この「枠組の外」って、どういう感じの外なんだろう。

基礎論的にヤヴァイところまで足を踏み入れちゃうような "外" なんだろうか?
もしそうなら、物凄く危なっかしく感じるのだが。
基礎論的な勘違いによって、土台から全て崩壊してしまう危険性……