C0={0}, C1={id0, f}とし、f.f=id0とする。このgeometric realizationを計算する。 昨日は1-simplexまで計算して、id0は1点に潰れS^1と同相になった。 2-simplexの部分を計算する。 NC2={(id,id),(id,f),(f,id),(f,f)}で、NC0 \to NC2はid \mapsto (id,id)で…