Steinberg Algebras of Ample Semicategories and their Boolean-Cartan Restriction Semigroups

We extend the construction of Steinberg algebras of ample groupoids to étale semicategories.

We also relate ample semicategories to Boolean restriction semigroups via a representation result extending previously known results for categories.

Furthermore, we prove a reconstruction result which characterises an abstract algebra $A$ with a certain Cartan-like restriction subsemigroup $B$ (subject to conditions resembling those defining quasi-Cartan pairs) as the Steinberg algebra of the ultrafilter groupoid of $B$.

In this way we obtain a twist-free extension of previous Steinberg algebra reconstruction results.