http://www.math.jhu.edu/~eriehl/hocolimits.pdf homotopy colimitの例としてmapping cylinderをみる。 C={0 \to 1}とし、F:C \to Dとする。 Fを与えるのはDにおいてf:X \to Yを与えることと同値。 これに対してsimplicial bar construction B(*,C,F)がどの…