>>8
それは連接層を定義したカルタンがアーベル圏を念頭に置いて有限型の条件を入れたかという質問で合ってる？
だとしたら違うだろうな、カルタンが連結作を定義した時点ではアーベル圏の概念はなかったから