0010132人目の素数さん垢版2017/10/22(日) 21:31:25.68ID:dcoTa3wk 俺は群スキームしか使わないから上手く説明できないけど、代数多様体に関する定理でも証明にはスキームの圏にまで広げてやることがあるらしいよ