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 (infinity,1)-topos of light condensed anima from condensed mathematics.