>>785
確かに絶対遠アーベル幾何、つまり基礎体を仮定しないという設定+実化はそこではかなり決定的なものです
ただスキームの宇宙の無限列というとはっきり言ってロジシャンも数学者も意外とよくわからないと思いますね
なのにそれについてのアクセスしやすいより初等的な解説がないのはかなり奇妙です
確かに望月氏が言うように、もう少し単純に考えて、絶対遠アーベル幾何の設定で様々な宇宙X_1〜X_n
について考える、と言えばできそうに見える話ではあります。スキームXとYで関手を考える、というのは
普通にやっていることですからね