Blueprint for the Liquid Tensor Experiment
November 30, 2022
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\).