Skip to main content
1 of 4
Reid Barton
  • 25.2k
  • 1
  • 76
  • 133

There is an analogue, but one should replace coequalizers by geometric realizations (homotopy colimits over Δop). If $F : I \to M$ is a diagram in a model category, one has

$$\operatorname{hocolim}_I F = \operatorname{hocolim}_{k \in \Delta^{\operatorname{op}}} \coprod_{i_0 \to \cdots \to i_k \in I} F(i_0).$$

Reid Barton
  • 25.2k
  • 1
  • 76
  • 133