Stone Duality and Its Formalization

Explore Stone duality and its formalization in this conference talk delivered by Sam van Gool at the Centre International de Rencontres Mathématiques in Marseille, France. Recorded during the thematic meeting "LEAN pour mathématiciens" on March 25, 2024, this hour-long presentation delves into the intricacies of Stone duality and its mathematical formalization. Access this video and other talks by renowned mathematicians through CIRM's Audiovisual Mathematics Library, which offers features such as chapter markers, keywords for selective viewing, enriched content including abstracts and bibliographies, and a multi-criteria search function for easy navigation through mathematical topics and speakers.