>>23
その定義ならS={f | kerf cokf∈C}とさだめればSはOre Classとかいうのになって
S^(-1)･Abはabel圏になるとおもう。つまり>>18は正しい。