http://www.math.jhu.edu/~eriehl/hocolimits.pdf
C = {0 \to 1}のnerve NCは、n >= 2でdegenerateする。
つまり、n-simplexが全てdegeneracy mapの像になっている。
https://stacks.math.columbia.edu/download/simplicial.pdf
実際、NC2は0 \to 0 \to 1なら1-simplex 0 \to 1からのidを前に結合することから定まる射NC1 \to NC2の像になっている。他も同様。
このNCのgeometric realizationを計算する。
NCはsimplicial setとしては0-simplexは{0, 1}で1-simplexは{id0, f, id1}である。
これらの間の射は[1] \to [0]に対応するd:NC0 \to NC1はx \mapsto idxで定まる。
また[0] \to [1]の間の二つの射に対応するs:NC1 \to NC0はfに対しそれぞれd(f)とs(f)を対応させる射である。
