Non-commutative Stone duality

Abstract

We show explicitly that Boolean inverse semigroups are in duality with what we term Boolean groupoids. This generalizes classical Stone duality, which we refer to as commutative Stone duality, between generalized Boolean algebras and locally compact Hausdorff 0-dimensional spaces.