condensed sets

Stream: maths

[Kevin Buzzard]

https://www.msri.org/workshops/873/schedules/26349

Peter Scholze talking about a new way to do topology. Would be interesting to do parts of this in Lean. New way of thinking about completions of abelian groups too @Patrick Massot