1: \begin{definition}

2: For each integer $k \geq 0$, we let $\BTop(k)$ denote the fiber product

3: $\OpE{ \BTop(k) } \times_{ \Nerve( \FinSeg) } \{ \seg{1} \}$. Then $\BTop(k)$ can be identified

4: with the nerve of the topological category having a single object whose endomorphism monoid

5: is the space $\Emb( \R^{k}, \R^{k} )$ of open embeddings from $\R^{k}$ to itself. It follows

6: from the Kister-Mazur theorem (Theorem \ref{scen}) that $\Emb( \R^{k}, \R^{k})$ is a grouplike topological monoid, so that $\BTop(k)$ is a Kan complex. In fact, Theorem \ref{scen} shows that $\BTop(k)$ can be identified with a classifying space for the topological group $\Top(k)$ of homeomorphisms from $\R^{k}$ to itself.

7: \end{definition}

8: