Shape theory for condensed anima

Abstract

We give different perspectives on the notion of shape for condensed anima. We prove that it recovers more classical notions of shape for topological spaces in the cases of all paracompact compactly generated spaces and all locally contractible spaces. These recovering statements imply and extend comparison results on sheaf and condensed cohomology by Clausen-Scholze and Haine. Another homotopy-theoretical direction for condensed anima are their condensed homotopy groups. Connected to this, we give a description of the underlying topological group functor on condensed groups via quasi-topological groups.