Graded Lawson-Stone Duality

The classical Stone duality associates to each Boolean algebra a topological space consisting of ultrafilters. Lawson’s generalisation constructs a dual equivalence of categories of Boolean inverse $\wedge$-semigroups and Hausdorff ample topological groupoids. We further generalise the duality to the graded analogues of those categories, and provide various illustrations.