もっと簡単な圏から。 C0={0}, C1={id0}とする。 この時NC0={0}, NC1={id0}, NC2={(id0,id0)},...となる。 NCnは全て一点集合で、単体集合の射は全て同型射である。 NCn \times \Delta nは全て標準単体一つで、NC0 \times \Delta n \to NCn \times \Delta n…