epsilon

落書き

2018-01-23から1日間の記事一覧

homotopy limit 12

http://www.math.jhu.edu/~eriehl/hocolimits.pdf y:C^op \to [C,Set]をc \mapsto C(c,-)で定める。 これとunitへの定数関手*:C \to sSetのbar construction B*(*,C,yc)はnerve N(c/C)に一致することを確かめる。 Bn(*,C,yc)はc0,\ldots,cnを添え字として (C…