>>14
ありがとう。正確にはアーベル圏ってより有限型かつ核と余核と像で閉じてる性質を求めて定義したのかな？って聞きたかった
…んだけど関係式の(局所)有限性を要請したら結果的にこの性質も入ってたってだけかもしれないね
カルタンの仕事周りの本も読んでみるね。本当にありがとう