Remark 5.6. Recall (3.5) in which we defined an embedding via the classifying diagram construction (which by (4.4) in fact lands in the subcategory of Segal spaces). By (5.2) we see that . It is possible to show that the functor admits a left adjoint , and that whenever is a Segal space.
Original source: arXiv:math/9811037v3
Original source · math/9811037v3