Example 7.7.1.6. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f: C \rightarrow D$ be a morphism of $\operatorname{\mathcal{C}}$. Then, for every simplicial set $K$, the induced map of constant diagrams $\underline{f}: \underline{C} \rightarrow \underline{D}$ is a cartesian natural transformation.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$