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