>>277
改めて内容的な点では、どうかなあ。色々な差異があるのをonly trivialで片づけるのはちょっとどうかなと
遠アーベル幾何を究極まで抽象化した時に、ただのナンセンスしか出ないとは思えない
本当は正当化する際に、もう集合論に拘るべきではないんだと思う。これはモジュライ理論にありがちな問題で
それ（病理現象）がもっと顕著に出てきてるというか
ただそこまでやっちゃうとますます訳がわからないことになる危険がある。Anabelioidの時点でちょっと危ないなと思った
Kedlayaとか文元もそういうところで迷ってるんじゃないか。今後どうなるか知らないけども
個人的にはそもそもの一般化の仕方がまだ十分でない、良くないんだろうなとも思っているけど
基礎を論じるにしても圏論的技術だけの問題では済まないだろうな