La dualité de Stone en logique et en informatique
ENS (amphithéâtre Galois sous la bibliothèque de mathématique)La dualité de Stone montre que la catégorie des algèbres de Boole avec leurs homomorphismes est équivalente à l'opposée de celle des espaces compacts qui possèdent une base d'ouverts-fermés. Le fait que ce soit une équivalence entre une catégorie et l'opposée d'une autre signifie que les sous-objets d'un côté correspondent aux quotients de l'autre et que les produits d'un côté correspondent aux coproduits (ou sommes) de l'autre. Cela donne aux dualités leur puissance toute particulière.La dualité de Stone et ses variantes et ses extensions donnent le lien entre l'approche syntaxique […]