訂正

>>39
>さて、C に十分多くの単射的対象があると、Kom(C) にも十分多くの
>単射的対象がある。

Kom(C) に十分多くの単射的対象があるとは限らない。
Kom+(C) にはある。
ここで、Kom+(C) というのは C における非負の複体全体のなす
アーベル圏である。
よって>>39の K は非負複体であり、その単射的対象による分解
X = (X^(p,q)) は第一象限にある。