epsilon

落書き

geometric realization 1

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は射の始域と終域をとる射の二つ、NC1 \times \Delta0 \to NC1 \times \Delta1は線分の端点にうつす射が二つある。

これで同一視すると、4本の線分を四角形の形につなげたものになる。

 

NC0 \times \Delta1 \to NC1 \times \Delta1はid成分への埋め込みで、NC0 \times \Delta1 \to NC0 \times \Delta0は各線分を潰す射。

これでid成分は1点に潰れる。

 

よって四角形の向かい合う辺が潰れて、四角形になる。

 

NCは2-simplexにnon-degenerateなものがあるので、それについて考える必要がある。