Blueprint for the Liquid Tensor Experiment
September 18, 2023
This text is based on the lecture notes on Analytic Geometry [ Sch20 ] , by Peter Scholze. It has been edited and expanded by Johan Commelin and Patrick Massot.
In this text \(\mathbb {N}\) denotes the natural numbers including \(0\).