Stone Duality and Its Formalization

Offered By: Centre International de Rencontres Mathématiques via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

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

From Trees to Barcodes and Back Again - Combinatorial and Geometric Perspectives
Applied Algebraic Topology Network via YouTube Oded Regev: The Reverse Minkowski Theorem
International Mathematical Union via YouTube Daniel Dadush- Integer Programming and the Kannan-Lovasz Conjecture
Hausdorff Center for Mathematics via YouTube Periods, Shafarevich Maps and Applications - Nodal Surfaces and Coding Theory
IMSA via YouTube Henrik Shahgholian - Free Boundaries on Lattice, and Their Scaling Limits
Hausdorff Center for Mathematics via YouTube