The algebra of rewriting for presentations of inverse monoids

N. D. Gilbert, E. A. McDougall

We describe a formalism, using groupoids, for the study of rewriting for presentations of inverse monoids, that is based on the Squier complex construction for monoid presentations…