Theorem 3.7 [1]}
Let \({{M}}\)  be a simplicial model category.
Then, the realisation functor
\(|{-}|_{{M}}\colon {{M}}^{{\mathbbe {\Delta }}^\mathrm {op}} \rightarrow {{M}}\,,\qquad X_\bullet \longmapsto \int ^{[n] \in {\mathbbe {\Delta }}^\mathrm {op}} \Delta ^n \otimes X_n\) 
