$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Corollary Let $\operatorname{\mathcal{C}}$ be an $\infty $-category containing an object $C \in \operatorname{\mathcal{C}}$ and let $e: A \rightarrow B$ be a left cofinal morphism of simplicial sets. Suppose we are given a diagram $f: B \rightarrow \operatorname{\mathcal{C}}$ and a natural transformation $\alpha : \underline{C} \rightarrow f$, where $\underline{C} \in \operatorname{Fun}(B, \operatorname{\mathcal{C}})$ denotes the constant diagram taking the value $C$. Then $\alpha $ exhibits $C$ as a limit of $f$ (in the sense of Definition if and only if the induced natural transformation $\alpha |_{A}: \underline{C}|_{A} \rightarrow f|_{A}$ exhibits $C$ as a limit of the diagram $f|_{A}$.

Proof. By virtue of Remark, we are free to modify the natural transformation $\alpha $ by a homotopy and may therefore assume that it corresponds to a morphism of simplicial sets $\Delta ^0 \diamond B \rightarrow \operatorname{\mathcal{C}}$ which factors through the categorical equivalence $\Delta ^0 \diamond B \twoheadrightarrow \Delta ^0 \star B$ of Theorem In this case, the desired result follows from Corollary and Remark $\square$