Dualidad de Stone

Una equivalencia dual categórica entre ciertas estructuras algebraicas y espacios topológicos que relaciona sistemáticamente operaciones algebraicas con construcciones topológicas; clásicamente, la dualidad entre álgebras booleanas y espacios de Stone (espacios de Hausdorff compactos y cero‑dimensionales).

Una equivalencia contravariante entre la categoría de álgebras booleanas y la categoría de espacios de Stone (espacios de Hausdorff compactos y cero‑dimensionales), realizada por el espectro de ultrafiltros/ideales primos y los fonctores de conjuntos clopen.

Una equivalencia entre la categoría de álgebras booleanas y la categoría de espacios de Stone (espacios topológicos compactos, de Hausdorff y totalmente disconexos), que asigna a cada álgebra booleana su espacio de ultrafiltros con la topología de Stone y a cada espacio de Stone el álgebra de sus conjuntos clopen.