Boolean sets, skew Boolean algebras and a non-commutative Stone duality (Q2634703)

A \textit{right-hand skew Boolean algebra} is a type of an idempotent distributive semiring with zero, i.e. an algebra \((B, \circ, \bullet)\) with two binary band operations \(\circ\) and \(\bullet\) and a constant \(0\), such that \((B,\circ)\) is a right-normal band, \((B,\bullet, 0)\) is a monoid with identity \(0\), the operation \(\circ\) distributes over the operation \(\bullet\) on both sides, and moreover satisfying some additional conditions. According to the authors abstract, they ``describe right-hand skew Boolean algebras in terms of a class of presheaves of sets over Boolean algebras called Boolean sets, and prove a duality theorem between Boolean sets and étalé spaces over Boolean spaces.''