Remark 1.5.20 (See Chapterexercise 1.10). One can show that the functor \(p_{[1]}\colon [1] \to *\) exhibits \(*\) as the localization of \([1]\) at the collection \(W = \Map ([1],[1])\) of all its morphisms.
Generated from the authoritative LaTeX source.