Definition 86.9.9. Let $S$ be a scheme. Let $A$ be a weakly admissible topological ring over $S$, see Definition 86.4.8^{1}. The *formal spectrum* of $A$ is the affine formal algebraic space

where the colimit is over the set of weak ideals of definition of $A$ and taken in the category $\mathop{\mathit{Sh}}\nolimits ((\mathit{Sch}/S)_{fppf})$.

## Comments (0)