Lemma 15.92.1. Let $A$ be a ring and let $I \subset A$ be an ideal. The category $\mathcal{C}$ of derived complete modules is abelian, has arbitrary limits, and the inclusion functor $F : \mathcal{C} \to \text{Mod}_ A$ is exact and commutes with limits. If $I$ is finitely generated, then $\mathcal{C}$ has arbitrary colimits and $F$ has a left adjoint

Proof. This summarizes the discussion above. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).