Remark 7.6.5.5. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, and suppose we are given a tower $X: \operatorname{N}_{\bullet }( \operatorname{\mathbf{Z}}_{\geq 0}^{\operatorname{op}} ) \rightarrow \operatorname{\mathcal{C}}$, which we depict as a diagram
having a limit $\varprojlim (X)$. Then, for every object $Y \in \operatorname{\mathcal{C}}$, the map of sets
is surjective. To prove this, suppose we are given a collection of morphisms $g_ n: Y \rightarrow X(n)$ satisfying $[f_{n}] \circ [g_{n+1} ] = [ g_ n ]$ in the homotopy category $\mathrm{h} \mathit{\operatorname{\mathcal{C}}}$. Then, for each $n \geq 0$, we can choose a $2$-simplex $\sigma _ n$ in $\operatorname{\mathcal{C}}$ as indicated in the diagram
Let $X_0$ denote the restriction of $X$ to the spine $\operatorname{Spine}[ \operatorname{\mathbf{Z}}_{\geq 0}^{\operatorname{op}} ] \subset \operatorname{N}_{\bullet }( \operatorname{\mathbf{Z}}_{\geq 0}^{\operatorname{op}} )$. Then the collection of $2$-simplices $\{ \sigma _ n \} _{n \geq 0}$ determines an extension of $X_0$ to a diagram $\overline{X}_0: \operatorname{Spine}[ \operatorname{\mathbf{Z}}_{\geq 0}^{\operatorname{op}} ]^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ carrying the cone point to the object $Y$. The isomorphism class of this extension can be identified with a morphism $[g]: Y \rightarrow \varprojlim (X_0) \simeq \varprojlim (X)$ in the homotopy category $\mathrm{h} \mathit{\operatorname{\mathcal{C}}}$, which is a preimage of the sequence $\{ [g_ n] \} _{n \geq 0}$ under the function $\theta $.