Example 6.3.1.3. Let $\operatorname{\mathcal{C}}$ be a simplicial set and let $W$ be a collection of degenerate edges of $\operatorname{\mathcal{C}}$. Then, for every $\infty $-category $\operatorname{\mathcal{E}}$, we have $\operatorname{Fun}( \operatorname{\mathcal{C}}[W^{-1}], \operatorname{\mathcal{E}}) = \operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{E}})$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$