ScalingStacks

[05UJ]

Corollary 6.5. Let obW/∼{\operatorname{ob}}W/{\sim} denote the set of homotopy equivalence classes of objects in Ho⁡W\ho W. If WW is a complete Segal space, then π0W0≈obW/∼\pi_{0}W_{0}\approx{\operatorname{ob}}W/{\sim}.

[05UK]

Proof. This is immediate from (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 15

Original source · math/9811037v3