English

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

Rings and Algebras 2025-05-08 v2 Category Theory

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 rr is open, and \'etale Boolean range semigroups are equivalent to biample topological categories. These results yield the equivalence between \'etale 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.

Keywords

Cite

@article{arxiv.2410.22181,
  title  = {Relating ample and biample topological categories with Boolean restriction and range semigroups},
  author = {Ganna Kudryavtseva},
  journal= {arXiv preprint arXiv:2410.22181},
  year   = {2025}
}

Comments

42 pages, revised version

R2 v1 2026-06-28T19:39:51.080Z