Condensed Mathematics: A Categorical Approach

• Condensed mathematics is a sheaf-theoretic framework that generalizes topological spaces into condensed sets with robust categorical and homological properties.
• It employs Grothendieck topologies—including regular, extensive, and coherent coverages—to enforce product preservation and effective descent conditions.
• The approach unifies methods in algebraic geometry, functional analysis, and homotopy theory, with formal proofs implemented in systems like Lean.

Condensed mathematics is an approach pioneered by Clausen and Scholze which recasts topological, analytic, and algebraic structures as sheaves on categories of compact Hausdorff or related spaces. The central objects—condensed sets—generalize the role of topological spaces by providing a framework with improved categorical and homological properties. This formalism supports rich notions of structure, enables robust homological algebra even in highly topological settings (e.g., functional analysis, analytic geometry), and admits multiple equivalent formulations through explicit sheaf conditions, free resolutions, and categorical completions. The theory is grounded in rigorous category theory and has been fully formalized in proof assistants such as Lean (Asgeirsson et al., 2024).

1. Categorical Foundations: Coverages and Coherent Topology

Condensed mathematics is rooted in sheaf theory for categories equipped with well-behaved Grothendieck topologies. Three important coverages are defined on a category $C$:

• Regular coverage $J_r$: covers consist of a single effective epimorphism $f: X \twoheadrightarrow B$;
• Extensive coverage $J_e$: covers are finite families $(f_i: X_i \to B)$ where $B \cong \coprod_i X_i$;
• Coherent coverage $J_c$: covers are finite families $(f_i: X_i \twoheadrightarrow B)$ of effective epis.

A key result is that for $C$ preregular and finitary extensive, the coherent topology $J_c$ is generated by $J_r$0 and $J_r$1, and the three corresponding Grothendieck topologies $J_r$2, $J_r$3 reflect different descent conditions (Asgeirsson et al., 2024).

Condensed sets are defined as sheaves on $J_r$4 (compact Hausdorff spaces) for $J_r$5, characterized by:

• Product preservation: $J_r$6 for finite families.
• Descent: For surjective $J_r$7, the diagram

$J_r$8

is an equalizer.

These conditions are formally equivalent when using $J_r$9 or $f: X \twoheadrightarrow B$0 (extremally disconnected) spaces, yielding equivalent categories of condensed sets.

2. Main Definitions and Technical Variants

Condensed mathematics admits several equivalent definitions for its basic objects:

• Sheaf-theoretic: Condensed sets are sheaves on $f: X \twoheadrightarrow B$1 for the coherent topology, or, equivalently, on the category of profinite sets with the effective epimorphism topology (Scholze, 5 May 2026, Bihlmaier et al., 17 Mar 2025, Asgeirsson, 2024).
• Functors with explicit conditions: A condensed set is a functor

$f: X \twoheadrightarrow B$2

satisfying finite-product preservation and descent along surjections (Asgeirsson et al., 2024). With profinite or extremally disconnected spaces as the test objects, the same conditions suffice.

• Free-resolution approach: Any compact Hausdorff space can be reconstructed via functorial free resolutions, allowing an explicit "elementary" construction of condensed sets through coequalizers in the category of free compact spaces (Stone–Čech compactifications) (Banús et al., 2022).
• Exact completion of compactological spaces: The category of quasi-separated condensed sets is the Barr-exact (ex/reg) completion of Waelbroeck's compactological spaces ($f: X \twoheadrightarrow B$3), providing a 1-categorical, explicit approach to condensed mathematics (Böhnlein et al., 16 Dec 2025).

All these presentations admit practical equivalences and can be formalized in proof assistants (Asgeirsson, 2024, Asgeirsson et al., 2024).

3. Categorical Properties and Structural Features

The category of condensed sets (and its linear analog, condensed abelian groups) is a Grothendieck topos with the following notable features (Asgeirsson et al., 2024, Scholze, 5 May 2026, Bihlmaier et al., 17 Mar 2025):

• Completeness and cocompleteness: All small limits and colimits exist, and are stable under extensions such as abelian sheaves and module categories.
• Monoidal closed structure: Internal Hom objects exist, making the category cartesian closed (Cond(Set)) and symmetric monoidal (Cond(Ab)). For condensed abelian groups $f: X \twoheadrightarrow B$4, the internal Hom

$f: X \twoheadrightarrow B$5

reflects the sheaf structure on extremally disconnected profinite $f: X \twoheadrightarrow B$6 (Aparicio, 2021).

• Projectives and generators: The representables associated to extremally disconnected sets are compact projective generators, yielding enough projectives for homological algebra (Mair, 2021).
• Exactness: Filtered colimits are exact (AB5); coequalizers describe effective quotients; the category is Barr-exact (Asgeirsson et al., 2024, Böhnlein et al., 16 Dec 2025).

These improvements over classical topological and topological module categories remove obstructions such as failures of abelianness in topological abelian groups.

4. Relationships to Topology and Algebraic Geometry

Condensed mathematics provides functorial embeddings of several classical categories:

• The functor $f: X \twoheadrightarrow B$7 realizes (suitably) compactly generated topological spaces as condensed sets, fully faithfully.
• Locally compact abelian groups and Banach spaces, regarded via their continuous mappings, embed into categories of condensed abelian groups; all standard dualities (e.g., Pontryagin, stereotype) can be constructed within this context (Scholze, 5 May 2026, Artusa, 2024).
• Via Stone duality, condensed sets can be mapped to fpqc sheaves over a field $f: X \twoheadrightarrow B$8, preserving colimits and finite limits; discrete condensed sets correspond to algebraic spaces locally of finite presentation, while profinite sets become affine schemes (Gregoric, 2024).

This unifies categorical topology and algebraic geometry under a single sheaf-theoretic and topological paradigm.

5. Linear and Analytic Structures: Modules, Cohomology, and Tensor Products

Condensed mathematics admits robust linear and homological structures:

• Condensed abelian groups, modules, and rings: Defined as sheaves of abelian groups or modules with the same descent and product conditions as condensed sets.
• Tensor products and solid modules: Sheafified sectionwise tensor products yield symmetric monoidal abelian categories; solid modules (a distinguished subcategory) support completed tensor products compatible with Banach and analytic geometry (Scholze, 5 May 2026, Dine, 15 Aug 2025).
• Homological algebra: Derived categories ($f: X \twoheadrightarrow B$9) support six-functor formalism, Ext, Tor, derived internal Hom, and cohomology that recovers both classical sheaf cohomology and analytic invariants. The machinery handles both discrete and topological coefficients, recovers Poincaré duality, and extends classical results such as Tate duality for the Weil group (Artusa, 2024).

These constructions resolve previous categorical deficiencies of module categories in topological/analytic settings.

6. Discrete and Quasi-separated Condensed Sets

The notion of discreteness and foundational subcategories are formalized with multiple equivalent characterizations (Asgeirsson, 2024):

• A condensed set is discrete if it is a constant sheaf, or equivalently, the sheaf of locally constant maps from each test object.
• Discrete condensed sets coincide with the colimit-preserving extension from finite sets, and as coproducts of representable sheaves.
• Quasi-separated condensed sets correspond to compactological spaces (in Waelbroeck's sense), and the entire class of such objects forms the ex/reg completion of these spaces (Böhnlein et al., 16 Dec 2025). This provides a bridge between classical topology and condensed mathematics at a purely elementary level.

These properties facilitate the construction of free objects, resolutions, and structural decompositions.

7. Applications and Impact

Condensed mathematics provides a unified language and toolkit for a broad range of fields (Scholze, 5 May 2026, Bihlmaier et al., 17 Mar 2025):

• Homotopy theory: Functors from condensed sets yield pro-groups extending classical homotopy groups, and the theory generalizes to $J_e$0-categories of condensed anima (Mair, 2021).
• Functional and analytic geometry: Banach spaces, Fréchet spaces, and nuclear spaces embed fully faithfully as condensed modules, with analytic and completed tensor structures (see the solution to the “Liquid Tensor Experiment").
• Homological algebra and Galois/Weil cohomology: Extended Ext, Tor, and duality theorems (e.g., local Tate duality) are realized in the condensed category (Artusa, 2024). Whitehead's problem admits a ZFC solution within condensed abelian groups (Bergfalk et al., 2023).
• Algebraic geometry and fpqc sheaves: Stone duality embeds condensed sets as fpqc sheaves, connecting to geometric and cohomological phenomena (Gregoric, 2024).
• Ergodic theory: Derived invariants of measure-preserving systems can be interpreted in the condensed framework (Bihlmaier et al., 17 Mar 2025).

The functorial and categorical robustness of condensed mathematics provides a platform for future developments across topology, analysis, algebra, and arithmetic geometry.

---

References:

• "Categorical Foundations of Formalized Condensed Mathematics" (Asgeirsson et al., 2024)
• "Lectures on Condensed Mathematics" (Scholze, 5 May 2026)
• "Condensed mathematics through compactological spaces" (Böhnlein et al., 16 Dec 2025)
• "Condensed Sets via free resolutions" (Banús et al., 2022)
• "A formal characterization of discrete condensed objects" (Asgeirsson, 2024)
• "Condensed Mathematics: The internal Hom…" (Aparicio, 2021)
• "Aspects of Condensed Mathematics" (Bihlmaier et al., 17 Mar 2025)
• "Whitehead's problem and condensed mathematics" (Bergfalk et al., 2023)
• "Stone duality between condensed mathematics and algebraic geometry" (Gregoric, 2024)
• "Duality for condensed cohomology of the Weil group of a p-adic field" (Artusa, 2024)
• "Banach modules, almost mathematics and condensed mathematics" (Dine, 15 Aug 2025)
• "Animated Condensed Sets and Their Homotopy Groups" (Mair, 2021)
• "Infinitary combinatorics in condensed math and strong homology" (Bergfalk et al., 2024)