Geometric inverse semigroup theory: a note on the Milnor–Schwarz lemma for inverse monoids

We generalise the Milnor–Schwarz lemma to inverse monoids acting on presheaves of geodesic metric spaces. We provide two proofs of this fact: one only uses elementary techniques, inspired by the arguments for group actions on metric spaces; the other involves a version of the Vietoris–Rips complex, and builds on work of Chung–Martínez–Szakács.