Lemma 8.6. The Yoneda embedding factors through a fully-faithful inclusion
This induces a fully-faithful nerve functor
Lemma 8.6. The Yoneda embedding factors through a fully-faithful inclusion
This induces a fully-faithful nerve functor
Proof. The 0-truncated objects of are precisely those presheaves of spaces taking values in the 0-truncated spaces, i.e., functors . The 0-truncated objects of consist of precisely those 0-truncated objects of which are -local. By Lemma 6.6, the nerve of every gaunt -category is -local, and so the result follows. β
Original source: arXiv:1112.0040v6
Original source Β· 1112.0040v6