Example 7.7.1.5. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and suppose we are given a pair of diagrams $\mathscr {F}, \mathscr {G}: K \rightarrow \operatorname{\mathcal{C}}$ indexed by the same simplicial set $K$. If either $K$ or $\operatorname{\mathcal{C}}$ is a Kan complex, then every natural transformation $\gamma : \mathscr {F} \rightarrow \mathscr {G}$ is cartesian.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$