Synthetic Stone duality is a program for studying the synthetic topology of second countable Stone spaces and compact Hausdorff spaces, as well as a synthetic approach to the mathematics of the -topos of light condensed anima from condensed mathematics.
Last revised on June 7, 2026 at 18:00:09. See the history of this page for a list of all contributions to it.