Kerodon

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

Example 4.5.6.18. Suppose we are given a commutative diagram of $\infty $-categories

\[ \xymatrix@R =50pt@C=50pt{ \cdots \ar [r] & \operatorname{\mathcal{C}}(3) \ar [d] \ar [r] & \operatorname{\mathcal{C}}(2) \ar [r] \ar [d] & \operatorname{\mathcal{C}}(1) \ar [r] \ar [d] & \operatorname{\mathcal{C}}(0) \ar [d] \\ \cdots \ar [r] & \operatorname{\mathcal{D}}(3) \ar [r] & \operatorname{\mathcal{D}}(2) \ar [r] & \operatorname{\mathcal{D}}(1) \ar [r] & \operatorname{\mathcal{D}}(0), } \]

where the horizontal maps are isofibrations and the vertical maps are equivalences of $\infty $-categories. Then the induced map $\varprojlim \operatorname{\mathcal{C}}(n) \rightarrow \varprojlim \operatorname{\mathcal{D}}(n)$ is an equivalence of $\infty $-categories. This follows by combining Example 4.5.6.8, Corollary 4.5.6.13, and Corollary 4.5.6.17.