A refinement of Stone duality to skew Boolean algebras (Q451077)

A skew Boolean algebra is a quintuple \((S;\vee ,\wedge ,\setminus , 0)\) where \(S\) is a set, \(\vee ,\) \(\wedge\), \(\setminus\) are binary operations such that \( \vee\) and \(\wedge\) are associative, idempotent and absorption and satisfy \(x\vee y=y\vee x\) if and only if \(x\wedge y=y\wedge x,\) \(x\setminus y\) is a complement of \( x\wedge y\wedge x\) in the principal subalgebra \(x\wedge S\wedge x\), and \(0\) is a nullary operation such that \(x\wedge 0=0\wedge x=0\). A skew Boolean algebra is left-hand if the identity \(x\wedge y\wedge x=x\wedge y\) holds. The natural partial order \(\leq\) on a skew Boolean algebra is defined such that \(x\leq y\) just when \(x\wedge y=y\wedge x=x\). If the natural partial order is a meet-semilattice order then \(\cap\) denotes the binary semilattice operation and \((S;\vee ,\wedge ,\setminus ,\cap ,0)\) is called a skew Boolean \(\cap\)-algebra. It is proved that the category of left-hand skew Boolean algebras and their algebraic homomorphisms is equivalent to the category of étale spaces over locally compact Boolean spaces and their cohomomorphisms over continuous proper mappings, and the category of left-hand skew Boolean \(\cap\)-algebras and their algebraic homomorphisms is equivalent to the category of étale spaces with compact clopen equalizers over locally compact Boolean spaces and their injective cohomomorphisms over continuous proper mappings.