 Formal completion of a scheme

For a closed subscheme with ideal sheaf $\mathcal{I}$ in a locally Noetherian scheme, the completion is the formal scheme on $|Y|$ with topological structure sheaf ${\underleftarrow{\lim }}_n({\mathcal{O}}_X/{\mathcal{I}}^{n+1}){|}_{|Y|}$. On a Noetherian affine scheme $\mathrm{Spec}A$, it is $\mathrm{Spf}({\underleftarrow{\lim }}_{n}A/I^{n+1})$. Its adic topology remembers every infinitesimal neighbourhood.

// Target: commutative-algebra.bigb