http://www.math.jhu.edu/~eriehl/hocolimits.pdf 昨日の続きでd0:B1 \to B0とd1:B1 \to B0を計算する。 まずd0だが、これはB1の各直和成分C(c0,c1) \otimes Z(c1,c0)上の射を次で定める。C(c0,c1)をD(*c0,*c1)にうつし、この射からZ(c1,c0)=*\otimes Fc0 \t…