YoVDO

Stone Duality and Its Formalization

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

Tags

Boolean Algebra Courses Topology Courses Category Theory Courses Lattice Theory Courses

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

An Introduction to Functional Analysis
École Centrale Paris via Coursera Nonlinear Dynamics 1: Geometry of Chaos
Georgia Institute of Technology via Independent Topology in Condensed Matter: Tying Quantum Knots
Delft University of Technology via edX Математика для всех
Moscow Institute of Physics and Technology via Coursera Геометрия и группы
Moscow Institute of Physics and Technology via Coursera