It follows from an application of [1]}, or by [2]} that the morphism
\(\underset{{\mathbbe {\Delta }}^\mathrm {op}}{{\mathrm {hocolim}}}^{{S}\mathrm {et}_{\hspace{-0.85355pt}\Delta }}\Big ( \cdots \displaystyle {\coprod _{i_0, \ldots , i_n \in \Lambda }} \operatorname{Sing}(C_{i_0 \ldots i_n}) \cdots \Big )\longrightarrow \operatorname{Sing}(c)\) 
