David Roberts fat realization

Fat realization of a simplicial space $X_\bullet = X:\Delta^{op} \to Top$ is defined as the coend of the associated $\Delta$-space:

$$\Delta_i^{op} \hookrightarrow \Delta^{op} \to Top$$

Details …