C0 = {0 ,1}でC1={id0, id1, f, g}でf:0 \to 1とg:1 \to 0とする。 この時NC0={0, 1}, NC1={id0, id1, f, g}であり、NC0 \times \Delta0は2点集合、NC1 \times \Delta1は4本の線分である。 NC1 \times \Delta0 \to NC0 \times \Delta0は射の始域と終域をとる…