I am currently reading the book by Bousfield and Kan, in particular Ch. XII, par. 2, and would like to understand why the functor $hocolim: Top_{+}^{I} \rightarrow Top_{+}$ is left adjoint to $hom(I \backslash —,—)$, where $Top_{+}^{I}$ denotes the category of $I$-diagrams of dotted topological spaces and $I \backslash —$ yields, for $i \in I$, the respective "under" category. Also, $hom(Z, W)$ is the simplicial space of which an n-simplex is a map $\Delta_n \times Z \rightarrow W$.
However, I do not understand what taking the product with the n-simplex is good for. The problem comes up when I try to explicitly write down the isomorphisms between the sets of maps in the adjunction.