A Foundation for Synthetic Stone Duality. - Felix Cherubini; Thierry Coquand; Freek Geerligs; Hugo Moeneclaey (TYPES, 2024)