Tags: #todo #todo/learning/definitions

formal spectrum

\begin{align*} \operatorname{Spf}(R) \coloneqq\colim_n \operatorname{Spec}(R/I^n) \end{align*}