圏Cに値を取る代数的複体という概念をCplx(C)と表すことにすると： Cが付点圏〈pointed category〉（零対象を持つ圏）であれば、Cplx(C)を定義できる。 Cが加法圏でないと、複体のあいだのホモトピー同値関係を定義できない。 Cがアーベル圏でないと、複体の…