ScalingStacks

[05UB]

Remark 5.6. Recall (3.5) in which we defined an embedding N:𝒞​at→s​𝒮N\colon{\operatorname{\mathcal{C}at}}\rightarrow s{\operatorname{\mathcal{S}}} via the classifying diagram construction (which by (4.4) in fact lands in the subcategory of Segal spaces). By (5.2) we see that Ho⁡N​C≈C\ho NC\approx C. It is possible to show that the functor NN admits a left adjoint L:s​𝒮→𝒞​atL\colon s{\operatorname{\mathcal{S}}}\rightarrow{\operatorname{\mathcal{C}at}}, and that L⁡(W)≈Ho⁡WL(W)\approx\ho W whenever WW is a Segal space.

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

Charles Rezk

Original source: arXiv:math/9811037v3

Original source page 13

Original source · math/9811037v3