Corollary 6.5. Let denote the set of homotopy equivalence classes of objects in . If is a complete Segal space, then .
Original source: arXiv:math/9811037v3
Original source · math/9811037v3
Corollary 6.5. Let denote the set of homotopy equivalence classes of objects in . If is a complete Segal space, then .
Proof. This is immediate from (6.4, (4)). ∎
Original source: arXiv:math/9811037v3
Original source · math/9811037v3