Example 7.38.
The basic examples arise from complete topological rings, in particular from Huber pairs. The analytic ring structure remembers which condensed modules are complete for the chosen topology; it is therefore strictly more information than the underlying condensed ring \(A^{\triangleright}\). See [Scholze 2025, Lecture IX] for the constructions used below.
References
- Peter Scholze. Six-Functor Formalisms. 2025.