特に言わない限り、扱う圏はローカルに小さいとする。 定理 （証明的な何か） リール先生の証明は「考えればわかるよね」的で、たぶんこの感覚をつかむことが 重要なんだろうと思う。 が、別の言葉で言えないかとも思った。ここまでの結果を使えば、 最期の…