There are two version of the singular simplicial space of a topological space $X$, one discrete and one internal. At least if X is nice, both of them have homotopy equivalent geometric realizations (and are both equivalent to X itself). I want to know why?


## Background/Motivation ##

Let $\Delta$ be a skeleton of the category of finite non-empty ordered sets. The objects of $\Delta$ are the ordered sets [n]. A *simplicial object* of a category C is a functor $X: \Delta^{op} \to C$. The category $\Delta$ can be realized as a sub-category of topological spaces (the category of n-simplices, $\Delta^n$) and (via left Kan extension) this gives rise to a *geometric realization functor* from simplicial sets to topological spaces. It lands in the nice category of CW-complexes, and is denoted $|X|$.

The same geometric realization formula works for simplicial spaces and defines a functor from simplicial spaces to topological spaces. It doesn't always land in CW-complexes. 

By general non-sense there is a right adjoint to the realization which is the singular functor. It associates to a topological space the simplicial set given by $Sing(X):[n] \mapsto map(\Delta^n, X)$. The realization from simplicial spaces to topological space also has an adjoint which is given by the simplicial space $\underline{Sing}(X): [n] \mapsto \underline{map}(\Delta^n, X)$, where $\underline{map}$ denotes the mapping space with the compactly generated compact open topology (I'm assuming all spaces are compactly generated). 

A simplcial set can be viewed as a discrete simplicial space and so we have two different singular functors and a natural map of simplicial spaces between them:

$Sing(X) \to \underline{Sing}(X)$

This gives, on geometric realization a map of spaces: $|Sing(X)| \to |\underline{Sing}(X)|$. When X is sufficiently nice this map is known to be a homotopy equivalence, and both spaces are homotopy equivalent to X.

> Why is this the map $|Sing(X)| \to |\underline{Sing}(X)|$ a homotopy equivalence? Can this be deduced from some sort of connectivity estimate between the constituent spaces of  these simplicial spaces?

I know there is an indirect way to prove this equivalence by comparing both spaces to X, but I'm interested in generalizing this result to some related constructions and so I would like a direct argument which uses the map between them. I'm willing to replaces "simplicial space" by bisimplicial set or to assume that the simplicial space is sufficiently "good". I'm hoping for something related to [this question][1].

  [1]: https://mathoverflow.net/questions/7808/connectivity-after-geometric-realization