昨日の計算の続き。 NC3 \times \Delta3の部分を計算する。 NC3のうちidを含むものはNC2からの射でうつるので、NC2 \times \Delta3 \to NC2 \times \Delta2に潰れる。 よって(f,f,f)で添え字づけられた成分を見ればよい。 これをNC3 \times \Delta2からの像…