Example 4.5.9.3. Let $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ be simplicial sets and let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}$ be the identity morphjism. Then the simplicial set $\operatorname{Fun}( \operatorname{\mathcal{C}}/ \operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$ of Construction 4.5.9.1 can be identified with the product $\operatorname{\mathcal{C}}\times \operatorname{\mathcal{D}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$