Animated Condensed Sets and Their Homotopy Groups

Catrin Mair

The theory of condensed mathematics by Dustin Clausen and Peter Scholze claims that topological spaces should be replaced by the definition of condensed sets. The main purpose of t…