Blueprint for the Liquid Tensor Experiment

Peter Scholze (all results joint with Dustin Clausen),
edited by Johan Commelin and Patrick Massot

June 11, 2021

Remark 0.1
#

This text is based on the lecture notes on Analytic Geometry  [ Sch20 ] , by Peter Scholze. The final section is copy-pasted from those lecture notes almost verbatim. This text is meant as a blueprint for the Liquid Tensor Experiment.

Remark 0.2
#

In this text \(\mathbf{N}\) denotes the natural numbers including \(0\).