Coherence of quasi-terminating decreasing 2-polygraphs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Coherence of quasi-terminating decreasing 2-polygraphs

Philippe Malbos
Clément Alleaume
  • Fonction : Auteur
  • PersonId : 968323

Résumé

Craig Squier introduced a combinatorial method based on rewriting in order to describe relations amongst relations for presentations of monoids. From a rewriting system he constructed a 2-dimensional combinatorial complex whose 2-cells are generated by relations induced by the rewriting rules. When the rewriting system is confluent and terminating, he characterized the homotopy of this complex in term of confluence diagrams induced by the critical branchings. In this work, we weaken the termination hypothesis and we prove such a result for quasi-terminating decreasing rewriting systems.
Fichier non déposé

Dates et versions

hal-01718951 , version 1 (27-02-2018)

Identifiants

  • HAL Id : hal-01718951 , version 1

Citer

Philippe Malbos, Clément Alleaume. Coherence of quasi-terminating decreasing 2-polygraphs. 5th International Workshop on Confluence, IWC 2016, Sep 2016, Obergurgl, Austria. ⟨hal-01718951⟩
53 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More