Relating ample and biample topological categories with Boolean restriction and range semigroups

Abstract

We extend the equivalence by Cockett and Garner between restriction monoids and ample categories to the 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 of 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.

42 pages, revised version

References in corpus (5)

• Etale groupoids and their quantales
• Filtering germs: Groupoids associated to inverse semigroups
• Proper Ehresmann semigroups
• Tensor-restriction categories
• Classical Distributive Restriction Categories

Cited by in corpus (1)

• $F$-birestriction monoids in enriched signature