# Categories of spans from categories of fibrant objects

Let $\mathscr{C}$ be a category of fibrant objects. For objects $X$, $Y$ of $\mathscr{C}$ we consider the category $\underline{\text{Hom}}(X,Y)$ of spans $X\leftarrow X'\rightarrow Y$, where $X'\to X$ is a trivial fibration. We can consider the full subcategory $\underline{\text{Hom}}'(X,Y)$, consisting of spans where the morphism $X'\to Y$ is a fibration.

I seem to have convinced myself, that $\underline{\text{Hom}}'(X,Y)\to\underline{\text{Hom}}(X,Y)$ induces a homotopy equivalence on geometric realizations. In particular, I can restrict to the subcategories $\underline{\text{Hom}}'(X,Y)$ to get the correct simplicial localization of $\mathscr{C}$.

Maybe someone knows that this is impossible? (The proof would go via constructing functorial fibrant resolutions for morphisms with target $Y$ using a fixed path object for $Y$.)

Actually, the only subtle point I am aware of is in proving that your $\underline{\mathrm{Hom}} (X, Y)$ is equivalent to the space of hammocks from $X$ to $Y$ – for that one wants to use the homotopy calculus of right fractions introduced by Dwyer and Kan, so one has to show that the category of zigzags $$X \leftarrow \bullet \rightarrow \cdots \rightarrow \bullet \leftarrow Y$$ (with leftward-pointing arrows being weak equivalences) is weakly homotopy equivalent to the category of zigzags $$X \leftarrow \bullet \rightarrow \cdots \rightarrow Y$$ and the only way I know how to do this requires functorial factorisation of weak equivalences with a fixed domain! So if one has functorial path objects there is no problem at all.