http://www.math.jhu.edu/~eriehl/hocolimits.pdf bar constructionとhomotopy colimitの関係を見ていくための準備。 まずd \in Cに対し、coend \int^{c \in C} \coprod_{c \to d}Fc = Fd であることを確かめる。 \coprod_{c \to d}Fc \to Fdが各f:c \to d成…