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

Corollary (Limits in a Reflective Localization). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\operatorname{\mathcal{C}}_0 \subseteq \operatorname{\mathcal{C}}$ be a reflective subcategory (Definition Then a diagram $u: K \rightarrow \operatorname{\mathcal{C}}_0$ admits a limit in $\operatorname{\mathcal{C}}_0$ if and only if it admits a limit in $\operatorname{\mathcal{C}}$. In this case, the limit of $u$ is preserved by the inclusion functor $\operatorname{\mathcal{C}}_0 \hookrightarrow \operatorname{\mathcal{C}}$.

Proof. By virtue of Proposition, the inclusion functor $\operatorname{\mathcal{C}}_0 \hookrightarrow \operatorname{\mathcal{C}}$ admits a left adjoint. Invoking Corollary, we deduce that if $u$ admits a limit in $\operatorname{\mathcal{C}}_0$, then that limit is preserved by the inclusion functor (and therefore $u$ admits a limit in $\operatorname{\mathcal{C}}$). For the converse, assume that $u$ admits a limit $C$ in the $\infty $-category $\operatorname{\mathcal{C}}$. We will complete the proof by showing that $C$ is isomorphic to an object $C' \in \operatorname{\mathcal{C}}_0$; in this case, $C'$ is also a limit of $u$ in the $\infty $-category $\operatorname{\mathcal{C}}$ (Proposition, and therefore also a limit of $u$ in the $\infty $-category $\operatorname{\mathcal{C}}_0$ (Remark Replacing $\operatorname{\mathcal{C}}_0$ by its essential image, we may assume that $\operatorname{\mathcal{C}}_0$ is replete. It follows that $\operatorname{\mathcal{C}}_0$ is the full subcategory of $\operatorname{\mathcal{C}}$ spanned by the $W$-local objects, for some collection of morphisms $W$ of $\operatorname{\mathcal{C}}$ (Proposition We are therefore reduced to showing that the object $C = \varprojlim (u)$ is $W$-local, which follows from Proposition $\square$