Example 4.6.6.8. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f_{+}: K_{+} \rightarrow \operatorname{\mathcal{C}}$ be a diagram. Applying Lemma 4.6.6.7 in the special case $K = \Delta ^0$, we obtain an equivalence of $\infty $-categories $\operatorname{\mathcal{C}}_{ / f_{+} } \rightarrow \operatorname{Fun}( K_{+}^{\triangleleft }, \operatorname{\mathcal{C}}) \times _{ \operatorname{Fun}( K_{+}, \operatorname{\mathcal{C}}) } \{ f_{+} \} $.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$