nLab synthetic Stone duality

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Idea

synthetic\; Stone duality and synthetic\; condensed mathematics

References

Last revised on July 7, 2025 at 21:51:47. See the history of this page for a list of all contributions to it.