よく知らないんだけど、Serreのmod Cって
「abel群のなすabel圏でSerre class Cの差を無視する同値関係を
いれた圏はまたabel圏になり、同値類を与える関手は完全関手なので、
完全系列に関する議論はSerre class Cの差を無視してやってよい」
というように要約できる？