Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Remark 7.7.2.29. In the formulation of Corollary 7.7.2.28, we can replace the slice $\infty $-category $\operatorname{\mathcal{C}}_{/C}$ by the oriented fiber product $\operatorname{\mathcal{C}}\operatorname{\vec{\times }}_{\operatorname{\mathcal{C}}} \{ C\} $ (see Corollary 4.6.4.18).