Kerodon

Remark 1.5.3.9. Let $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ be $\infty $-categories. By definition, the objects of the $\infty $-category $\operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$ can be identified with functors from $\operatorname{\mathcal{C}}$ to $\operatorname{\mathcal{D}}$, in the sense of Definition 1.5.0.1 (that is, with maps of simplicial sets from $\operatorname{\mathcal{C}}$ to $\operatorname{\mathcal{D}}$).