Kerodon

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

Example 4.6.4.7. Let $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ be simplicial sets. Then the oriented fiber product $\operatorname{\mathcal{C}}\operatorname{\vec{\times }}_{\Delta ^0} \operatorname{\mathcal{D}}$ can be identified with the cartesian product $\operatorname{\mathcal{C}}\times \operatorname{\mathcal{D}}$.