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

Corollary Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\overline{f}: A^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ be a diagram, where $A$ is a weakly contractible simplicial set. The following conditions are equivalent:


The diagram $\overline{f}$ carries each edge of $A^{\triangleleft }$ to an isomorphism in $\operatorname{\mathcal{C}}$.


The restriction $f = \overline{f}|_{A}$ carries each edge of $A$ to an isomorphism in $\operatorname{\mathcal{C}}$, and $\overline{f}$ is a limit diagram.

Proof. Without loss of generality, we may assume that $f$ carries each edge of $A$ to an isomorphism in $\operatorname{\mathcal{C}}$. Under this assumption, we can restate $(1)$ and $(2)$ as follows:


For every vertex $a \in A$, the edge

\[ \Delta ^1 \simeq \{ a\} ^{\triangleleft } \hookrightarrow A^{\triangleleft } \xrightarrow { \overline{f} } \operatorname{\mathcal{C}} \]

is an isomorphism in the $\infty $-category $\operatorname{\mathcal{C}}$.


The morphism $\overline{f}$ is a colimit diaram.

Using Corollary, we can choose an anodyne morphism $i: A \hookrightarrow B$, where $B$ is a Kan complex. Note that $f$ can be regarded as a morphism from $A$ to the core $\operatorname{\mathcal{C}}^{\simeq }$, which is also a Kan complex (Corollary We can therefore extend $f$ to a morphism of Kan complexes $g: B \rightarrow \operatorname{\mathcal{C}}^{\simeq }$. Moreover, the morphism $i$ is right cofinal (Proposition and therefore right anodyne (Proposition It follows that the induced map $B \coprod _{A} A^{\triangleright } \hookrightarrow B^{\triangleright }$ is inner anodyne (Example, so that we can choose a functor $\overline{g}: B^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ satisfying $\overline{g}|_{B} = g$ and $\overline{g}|_{A^{\triangleright }} = \overline{f}$.

It follows from Corollary $\overline{f}$ is a colimit diagram if and only if $\overline{g}$ is a colimit diagram. Since $A$ is weakly contractible, the Kan complex $B$ is contractible. In particular, every vertex $a \in A$ can be regarded as a final object of $B$. The equivalence of $(1')$ and $(2')$ now follows from Corollary $\square$