Tietze equivalences as weak equivalences (Q2139719)

The authors build a model structure on the category of presentations by generators and relations (with a suitable choice of morphisms, containing in particular some sort of degeneracies) in which two presentations are weakly equivalent when they present the same monoid. In this model category, the so-called Tietze equivalences, which characterize when two presentations describe the same monoid, generate the trivial cofibrations with fibrant domains. Finally, the classical proof of completeness for Tietze transformations is reconstructed by using only model category arguments.