ScalingStacks

[05V3]

Remark 8.8. We can interpret (8.7) as saying that for any two fibrant-and-cofibrant objects X,Y∈𝐌X,Y\in{\operatorname{\mathbf{M}}}, the space of paths from XX to YY in class⁡(𝐌)\class({\operatorname{\mathbf{M}}}) is naturally weakly equivalent to the space {hoequiv}𝐌⁡(X,Y)⊂map𝐌⁡(X,Y)\hoequiv_{{\operatorname{\mathbf{M}}}}(X,Y)\subset\map_{{\operatorname{\mathbf{M}}}}(X,Y) of homotopy equivalences from XX to YY. (The notation class⁡(𝐌)\class({\operatorname{\mathbf{M}}}) was defined in (1.2).) Compare with (6.4, 4).

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Charles Rezk

Original source: arXiv:math/9811037v3

Original source page 18

Original source · math/9811037v3