A Švarc-Milnor lemma for monoids acting by isometric embeddings

We continue our program of extending key techniques from geometric group theory to semigroup theory, by studying monoids acting by isometric embeddings on spaces equipped with asymmetric, partially defined distance functions. The canonical example of such an action is a cancellative monoid acting by translation on its Cayley graph. Our main result is an extension of the Švarc–Milnor lemma to this setting.