Definition 7.36.
A condensed anima is a hypercomplete sheaf on the site \(\CHaus\) of compact Hausdorff spaces equipped with the topology in which a finite collection of maps \(\{X_i \to X\}_i\) is declared to be a covering if and only if the map \(\bigsqcup_i X_i \twoheadrightarrow X\) is surjective. Equivalently, it is a hypercomplete sheaf on the site \(\ProFin\) of profinite sets, equipped with the topology inherited from \(\CHaus\).