Non-commutative Stone duality

Abstract

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

Minor corrections have been made throughout. New sections 9 and 10 added