Blueprint for the Liquid Tensor Experiment
September 18, 2023
0.0.1
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.
0.0.2
In this text \(\mathbb {N}\) denotes the natural numbers including \(0\).