---
date: 2021-10-21 13:58
modification date: Thursday 21st October 2021 13:58:54
title: formal spectrum
aliases: [formal spectrum]

---

Tags: #todo #todo/learning/definitions  

# formal spectrum

$$
\Spf(R) \da \colim_n \spec (R/I^n)
$$