Kerodon

Example 4.5.9.2. Let $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ be simplicial sets and let $U: \operatorname{\mathcal{C}}\rightarrow \Delta ^0$ denote the projection map. Then the simplicial set $\operatorname{Fun}( \operatorname{\mathcal{C}}/ \Delta ^0, \operatorname{\mathcal{D}})$ of Construction 4.5.9.1 can be identified with the simplicial set $\operatorname{Fun}( \operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$ of Construction 1.5.3.1.