David Roberts
fat realization

Fat realization of a simplicial space X =X:Δ opTop is defined as the coend of the associated Δ-space:

Δ i opΔ opTop\Delta_i^{op} \hookrightarrow \Delta^{op} \to Top

Details …