Tietze equivalences as weak equivalences (Q2139719): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3212178343 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 2101.03591 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4293501 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On left and right model categories and left and right Bousfield localizations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheafifiable homotopy model categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher-dimensional word problems with applications to equational logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coherent presentations of Artin monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2958386 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5428640 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorial group theory. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4658185 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3068077 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:42, 29 July 2024
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