俺は群スキームしか使わないから上手く説明できないけど、代数多様体に関する定理でも証明にはスキームの圏にまで広げてやることがあるらしいよ