# Kerodon

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

Corollary 4.6.6.14. Let $\operatorname{\mathcal{C}}$ be an $\infty$-category. An object $Y \in \operatorname{\mathcal{C}}$ is initial if and only if, for every integer $n \geq 1$ and every morphism of simplicial sets $\sigma : \operatorname{\partial \Delta }^ n \rightarrow \operatorname{\mathcal{C}}$ satisfying $\sigma (0) = Y$, there exists an $n$-simplex $\overline{\sigma }: \Delta ^ n \rightarrow \operatorname{\mathcal{C}}$ satisfying $\overline{\sigma }|_{ \operatorname{\partial \Delta }^ n} = \sigma$.

Proof. Let $n$ be a positive integer. Using the isomorphism

$\operatorname{\partial \Delta }^{n} \simeq (\emptyset \star \Delta ^{n-1} ) \coprod _{ (\emptyset \star \operatorname{\partial \Delta }^{n-1}) } ( \Delta ^{0} \star \operatorname{\partial \Delta }^{n-1} )$

supplied by Variant 4.3.6.16, we see that a morphism of simplicial sets $\sigma : \operatorname{\partial \Delta }^ n \rightarrow \operatorname{\mathcal{C}}$ satisfying $\sigma (0) = Y$ can be identified with a commutative diagram

4.59
$$\begin{gathered}\label{equation:characterize-initial-by-slice} \xymatrix@R =50pt@C=50pt{ \operatorname{\partial \Delta }^{n-1} \ar [r] \ar [d] & \operatorname{\mathcal{C}}_{Y/} \ar [d] \\ \Delta ^{n-1} \ar@ {-->}[ur] \ar [r] & \operatorname{\mathcal{C}}, } \end{gathered}$$

and that an extension of $\sigma$ to an $n$-simplex of $\operatorname{\mathcal{C}}$ can be identified with a dotted arrow which renders the diagram commutative. By virtue of Proposition 4.6.6.11, the object $Y$ is initial if and only if every lifting problem of the form (4.59) admits a solution: that is, if and only if the projection map $\operatorname{\mathcal{C}}_{Y/} \rightarrow \operatorname{\mathcal{C}}$ is a trivial Kan fibration of simplicial sets. $\square$