>>724
>それぞれのグロタンディク宇宙をどういう形で指定しているかが重要ですね
適当に2つ取ってるんじゃないかな
そしてそれは普通の数学では一般的な指定の仕方です