Tietze equivalences as weak equivalences (Q2139719)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Tietze equivalences as weak equivalences |
scientific article |
Statements
Tietze equivalences as weak equivalences (English)
0 references
19 May 2022
0 references
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.
0 references
monoid
0 references
presentation
0 references
Tietze transformation
0 references
model category
0 references