http://www.math.jhu.edu/~eriehl/hocolimits.pdf 昨日の続きでC={0 \to 1}のnerve NCのgeometric realizationを計算する。 これはsimplicial set NCと\Deltaのtensor productを計算すればよく、NC_nに離散位相を入れた空間と\Delta_nの直積が定める関手のco…