http://www.math.jhu.edu/~eriehl/hocolimits.pdf 前日までの議論をまとめると、 \int^{c \in C}Bn(*,C,C(c,-)) \otimes Fc = \coprod_{\gamma:[n]\to C}F\gamma(0) であることが証明できる。 実際、これの左辺はc \mapsto N(c/C)nとFcのcoendであり、Setに…