Abstract:We extend the equivalence by Cockett and Garner between restriction monoids and ample categories to the biunary and non-unital setting of Boolean range semigroups which are non-unital one-object versions of range categories. We show that Boolean range semigroups are equivalent to ample topological categories where the range map $r$ is open, and étale Boolean range semigroups are equivalent to biample topological categories. These results yield the equivalence between étale Boolean range semigroups and Boolean birestriction semigroups and a characterization when a Boolean restriction semigroup admits a compatible cosupport operation. We also recover the equivalence between Boolean birestriction semigroups and biample topological categories by Kudryavtseva and Lawson. Our technique builds on the usual constructions relating inverse semigroups with ample topological groupoids via germs and slices.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
The main purpose of this paper is to explore and establish **the relationship between ample categories and Boolean restriction semigroups**, especially Boolean range semigroups in non - unital and biunary settings. Specifically:
1. **Extending existing equivalences**:
- The author extends the equivalence results of Cockett and Garner regarding restriction monoids and ample categories. These results were initially for monoids, and this paper generalizes them to non - unital Boolean range semigroups.
2. **Introducing new structures**:
- The concept of Boolean range semigroups is introduced, and their equivalence to ample topological categories with a local homeomorphism \(r\) is shown.
- It is studied under what conditions Boolean range semigroups can admit a compatible cosupport operation, which is encoded on the topological side by the properties of the appropriate range map \(r\).
3. **Dealing with two - sided objects**:
- Since the Cockett - Garner equivalence corresponds one - sided objects (such as restriction monoids) to two - sided objects (such as categories), the author explores how to enrich this equivalence in this case, especially when the restriction monoids have a compatible cosupport operation.
4. **Establishing new dualities**:
- By studying enriched Boolean restriction semigroups and Boolean birestriction semigroups, the author establishes a duality between these algebraic structures and specific types of topological categories.
5. **Application to operator algebras**:
- This work aims to provide tools for researchers studying groupoid \(C^*\)-algebras and Steinberg algebras, enabling them to construct operator algebras and their analogues from restriction semigroups.
### Main contributions
- **Extension of equivalence**: Generalize the equivalence between restriction monoids and ample categories to non - unital Boolean range semigroups.
- **Introduction of new concepts**: Define Boolean range semigroups and show their relationship with ample topological categories.
- **Handling two - sided structures**: Explore how to establish a richer equivalence between one - sided objects (such as restriction monoids) and two - sided objects (such as categories).
- **Duality results**: Prove the equivalences between several classes of Boolean restriction semigroups and topological categories, including the duality between Boolean birestriction semigroups and bi - ample categories.
### Formula presentation
The formulas involved in the paper are presented in Markdown format as follows:
- **Definition of Ehresmann semigroups**:
\[
(S; \cdot, *) \text{ is an Ehresmann semigroup, satisfying the following identities:}
\]
\[
xx^* = x, \quad (x^* y^*)^* = x^* y^*, \quad (xy)^* = (x^* y)^*
\]
- **Natural partial order**:
\[
s \leq t \iff \exists e \in P(S) \text{ such that } s = te \quad \text{or equivalently} \quad s = ts^*
\]
- **Partial isomorphism**:
\[
s \text{ is a partial isomorphism} \iff \exists t \in S \text{ such that } st = t^* \text{ and } ts = s^*
\]
Through these formulas and definitions, the author successfully links Boolean restriction semigroups and ample topological categories and provides a rich theoretical framework.