Let $\mathcal{C}, \mathcal{D}$ be categories internal to topological spaces (or compactly generated Hausdorff spaces, if you like) $F,G\colon\mathcal{C}\rightarrow\mathcal{D}$ be continuous functors and $\eta\colon F\implies G$ a natural transformation, i.e. a continuous functor $$\mathcal{C}\times\{0,1\}\rightarrow \mathcal{D}.$$

Using the ordinary geometric realization, this functors induces a homotopy between $BF$ and $BG$ since $B$ preserves products and $B(\{0,1\})\cong[0,1]$.

If one uses the fat realization $B'(\_)$, products are probably preserved up to homotopy, but $B'(\{0,1\})$ will be something infinite dimensional. Is it still true that $B'F$ and $B'G$ are homotopic?

If the nerves of $\mathcal{C}$ and $\mathcal{D}$ are "good" in the sense of Segal, the ordinary realization coincides up to homotopy with the usual one and the question can be answered positively. However, is it still true in the "bad" world?

Edit: The fact that products are preserved up to homotopy is Proposition A.(iii) of Segal's "Categories and Cohomology Theories".

almostgives you a homotopy" for now. $\endgroup$1more comment