Stone Duality and Its Formalization
Offered By: Centre International de Rencontres Mathématiques via YouTube
Course Description
Overview
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.
Syllabus
Sam van Gool: Stone duality and its formalization
Taught by
Centre International de Rencontres Mathématiques
Related Courses
Unleashing Algebraic Metaprogramming in Julia with Metatheory.jlThe Julia Programming Language via YouTube COSC250 - Functional and Reactive Programming
Independent Free as in Monads - Understanding and Applying Free Monads - Lecture 44
ChariotSolutions via YouTube Generalised Integrated Information Theories
Models of Consciousness Conferences via YouTube Reasoning About Conscious Experience With Axiomatic and Graphical Mathematics
Models of Consciousness Conferences via YouTube