---
title: 'Condensed Sets: Foundations & Applications'
url: https://www.emergentmind.com/topics/condensed-sets
type: topic
---

# Condensed Sets: Foundations & Applications

A condensed set is a sheaf of sets on the site of Stone spaces (totally disconnected compact Hausdorff spaces) with respect to the Grothendieck topology generated by finite jointly surjective families of continuous maps. This perspective leads to a robust replacement for topological spaces in areas such as homological algebra, functional analysis, and modern algebraic geometry, supplying categorical and homotopy-theoretic advantages absent in the classical setting. The theory is fundamentally due to Clausen and Scholze, and numerous expositions and formalizations are now available [2211.13855][2512.14612][2503.22699][2407.12840].

## 1. Definition and Site-Theoretic Foundations

Let $\mathbf{Stone}$ denote the category of Stone spaces with continuous maps. The Grothendieck topology $J_{\mathrm{Stone}}$ is defined by declaring a finite family $\{U_i \to U\}_{i=1}^n$ to be a cover if the induced map $\bigsqcup_{i=1}^n U_i \to U$ is surjective. A **condensed set** is a sheaf of sets on $(\mathbf{Stone}, J_{\mathrm{Stone}})$; concretely, a presheaf $\mathcal{F}\colon \mathbf{Stone}^{op} \to \mathbf{Set}$ such that for every cover, the diagram
\[
\mathcal{F}(U) \longrightarrow \prod_i \mathcal{F}(U_i) \rightrightarrows \prod_{i,j} \mathcal{F}(U_i \times_U U_j)
\]
is an equalizer [2211.13855].

Equivalent formulations characterize condensed sets as sheaves on the site of all compact Hausdorff spaces (CHaus), equipped with the coherent Grothendieck topology: covers are finite jointly surjective families. The comparison theorem asserts that restriction along the inclusion $\mathbf{Stone} \hookrightarrow \mathbf{CHaus}$ induces an equivalence of categories:
\[
\mathrm{Sh}(\mathbf{CHaus}) \simeq \mathrm{Sh}(\mathbf{Stone}) = \mathbf{Cond}
\]
Moreover, analogous equivalences hold between sheaves on Stonean spaces (extremally disconnected compact Hausdorff spaces) and on profinite sets (inverse limits of finite discrete spaces) [2211.13855][2407.12840][2503.22699].

## 2. Sheaf-Theoretic Characterization and Variants

All essential properties of condensed sets derive from their sheaf-theoretic origin:

- **Preservation of products:** For any finite family $\{K_i\}$ of compact Hausdorff spaces,
  \[
  F\left(\bigsqcup_i K_i\right) \cong \prod_i F(K_i).
  \]
- **Descent for surjections:** For every continuous surjection $\pi: S \to T$, the diagram
  \[
  F(T) \xrightarrow{F(\pi)} F(S) \rightrightarrows F(S \times_T S)
  \]
  is an equalizer.

Thus, condensed sets form the category of sheaves for the coherent topology on $\mathbf{CHaus}$, with explicit conditions:
- Equalizer for surjections (regular topology).
- Product-preservation for coproducts (extensive topology).
The coherent topology is generated by these two [2407.12840].

Equivalent categorical presentations include:
- As presheaves on extremally disconnected profinite sets preserving finite products and admitting descent for finite surjections [2105.07888].
- As filtered colimits of compact Hausdorff representables modulo regular equivalence relations; i.e., as the ex/reg completion of the category of compactological spaces [2512.14612].

## 3. Examples and Key Constructions

Key examples of condensed sets include:
- For any topological space $X$, the functor $A \mapsto \mathrm{Map}_{\mathrm{cont}}(A, X)$ is a condensed set. This assignment gives a fully faithful embedding $\mathrm{Top} \to \mathbf{Cond}$ (restricted to compactly generated, $T_1$ spaces) [2211.13855][2503.22699].
- Any compact Hausdorff space $K$ represents a condensed set by $A \mapsto \mathrm{Map}(A, K)$.
- Profinite sets correspond to representable condensed sets, i.e., the Yoneda image.
- Topological (abelian) groups $G$ yield condensed abelian groups via $A \mapsto \mathrm{Hom}_{\mathrm{cont}}(A, G)$.

Discrete condensed sets can be characterized equivalently in multiple ways: as constant sheaves, as sheaves of locally constant functions, as colimits over finite quotients, as coproducts of point-representable sheaves, and as Kan extensions along inclusions of finite sets—all these definitions have been formalized and proven equivalent [2410.17847].

## 4. Categorical Properties and Homotopy Theory

$\mathbf{Cond}$ is bicomplete: all limits and colimits exist and are computed pointwise, with sheafification for colimits [2209.01660][2503.22699]. The category is cartesian closed, with internal Homs given explicitly: for $X, Y$, $\underline{\mathrm{Hom}}(X, Y)(T) = \mathrm{Hom}_{\mathbf{Cond}}(X \times T, Y)$. This closed structure extends to categories of condensed abelian groups and modules [2109.07816].

Homotopy-theoretically, $\mathbf{Cond}$ admits a cofibrantly generated Quillen model structure. The functor $G_0: \mathbf{Cond} \to \mathrm{sSet}$ (using left Kan extension over simplices) detects homotopy equivalences. The model structure is Quillen-equivalent both to simplicial sets and to the category of topological spaces, allowing classical homotopy theory to be recovered internally within condensed sets [2211.13855].

In the animated ($\infty$-categorical) setting, functors $\widetilde\pi_n$ extend classical homotopy groups to the pro-category of condensed anima. For CW complexes, these recover standard $\pi_n$ [2105.07888].

## 5. Algebraic and Analytic Foundations

Condensed sets provide the foundation for a rich theory of condensed abelian groups, rings, and modules. The category $\mathbf{CondAb}$ is abelian, complete, well-powered, and satisfies the Grothendieck AB3–AB5 axioms. Projective generators are associated with extremally disconnected profinite sets; condensed injectives arise from discrete modules under certain conditions [2503.22699][2105.07888]. Derived functors in this context generalize $\mathrm{Ext}$ and $\mathrm{Tor}$.

In functional analysis and ergodic theory, condensed mathematics streamlines constructions: Banach spaces and $L^p$ spaces gain condensed enhancements, pathological properties of locally compact spaces are mitigated, and measure-theoretic operations become algebraic in the setting of condensed abelian groups [2503.22699].

Quasiseparated condensed sets are equivalent, via explicit functors, to Waelbroeck-Buchwalter compactological spaces—objects with coherent compactness data and final topologies. Condensed sets arise as the ex/reg categorical completion (i.e., regular + effective equivalence closure) of compactological spaces, confirming their role as the formal “closure” of point-set topological constructions [2512.14612].

## 6. Connections to Algebraic Geometry via Stone Duality

Condensed sets admit a fully faithful, finite-limit and colimit-preserving embedding into the category of fpqc sheaves over a base scheme (e.g., $\operatorname{Spec} k$), generalizing Stone duality [2401.02568]. Under this bridge:
- Profinite sets yield totally disconnected affine schemes.
- Compact Hausdorff spaces correspond to geometric fpqc-algebraic spaces.
- Discrete condensed sets recover coproducts of spectra of fields.
This embedding preserves all algebraic and categorical structures and allows the transference of cohomological and descent techniques from algebraic geometry to condensed mathematics.

The passage between condensed sets and their algebraic counterparts is mediated by the explicit functor $E:\mathbf{Cond} \to \mathrm{Shv}_{\mathrm{fpqc}}(\operatorname{Spec} k)$, which is left adjoint to base extension. The full flexibility of geometric and homological tools from algebraic geometry becomes available to condensed mathematics, with the original topological constructions recast as geometric stacks or affine schemes [2401.02568].

## 7. Roles in Set-Theoretic Topoi and Further Applications

The theory of condensed sets interacts deeply with logical and set-theoretic contexts, notably via the Solovay model and the theory of $κ$-pyknotic sets. The Grothendieck topos of condensed sets admits morphisms to and from Solovay's dense sheaf topos, and exactness properties (e.g., results on Whitehead groups and automatic continuity) can be transferred and interpreted via this connection [2602.09283].

Homological computations—for example, vanishing of $\mathrm{Ext}^1$ for $\underline\mathbb{R}$ by $\underline\mathbb{Z}$—are internalized and explained through the bridge between these models, further emphasizing the synthetic and unifying capacity of condensed sets.

---

**Key References:**  
- “Condensed Sets on Compact Hausdorff Spaces” [2211.13855]  
- “Animated Condensed Sets and Their Homotopy Groups” [2105.07888]  
- “Categorical Foundations of Formalized Condensed Mathematics” [2407.12840]  
- “Condensed mathematics through compactological spaces” [2512.14612]  
- “Aspects of Condensed Mathematics—From Abstract Nonsense to Ergodic Theory” [2503.22699]  
- “Stone duality between condensed mathematics and algebraic geometry” [2401.02568]  
- “Condensed Sets and the Solovay Model” [2602.09283]  
- “A formal characterization of discrete condensed objects” [2410.17847]  
- “Condensed Sets via free resolutions” [2209.01660]  
- “Condensed Mathematics: The internal Hom of condensed sets and condensed abelian groups...” [2109.07816]

Source: https://www.emergentmind.com/topics/condensed-sets