Remark 8.8. We can interpret (8.7) as saying that for any two fibrant-and-cofibrant objects , the space of paths from to in is naturally weakly equivalent to the space of homotopy equivalences from to . (The notation was defined in (1.2).) Compare with (6.4, 4).
Original source: arXiv:math/9811037v3
Original source · math/9811037v3