Remark 15.91.11. Let $A$ be a ring and let $I \subset A$ be a finitely generated ideal. The left adjoint to the inclusion functor $D_{comp}(A, I) \to D(A)$ which exists by Lemma 15.91.10 is called the derived completion. To indicate this we will say “let $K^\wedge$ be the derived completion of $K$”. Please keep in mind that the unit of the adjunction is a functorial map $K \to K^\wedge$.

There are also:

• 14 comment(s) on Section 15.91: Derived Completion

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).