We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Tietze Equivalences as Weak Equivalences

Abstract: A given monoid usually admits many presentations by generators and relations and the notion of Tietze equivalence characterizes when two presentations describe the same monoid: it is the case when one can transform one presentation into the other using the two families of so-called Tietze transformations. The goal of this article is to provide an abstract and geometrical understanding of this well-known fact, by constructing a model structuree on the category of presentations, in which two presentations are weakly equivalent when they present the same monoid. We show that Tietze transformations form a pseudo-generating family of trivial cofibrations and give a proof of the completeness of these transformations by an abstract argument in this setting.
Subjects: Logic in Computer Science (cs.LO); Algebraic Topology (math.AT)
Cite as: arXiv:2101.03591 [cs.LO]
  (or arXiv:2101.03591v2 [cs.LO] for this version)

Submission history

From: Samuel Mimram [view email]
[v1] Sun, 10 Jan 2021 18:18:56 GMT (39kb)
[v2] Thu, 14 Oct 2021 08:22:26 GMT (33kb)

Link back to: arXiv, form interface, contact.