Coherence modulo relations - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Coherence modulo relations

Résumé

The computation of minimal convergent presentations for monoids, categories or higher-dimensional categories appear in low-dimensional combinatorial problems on these structures, such as coherence problems. A method to compute coherent presentations using convergent string rewriting systems was developed following works of Squier. In this approach, coherence results are formulated in terms of confluence diagrams of critical pairs. This work proposes an extension of these methods to string rewriting systems modulo.
Fichier principal
Vignette du fichier
coheModulo.pdf (214.47 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01895065 , version 1 (13-10-2018)

Identifiants

  • HAL Id : hal-01895065 , version 1

Citer

Benjamin Dupont, Philippe Malbos. Coherence modulo relations. 7th International Workshop on Confluence, IWC 2018, Jul 2018, Oxford, United Kingdom. ⟨hal-01895065⟩
66 Consultations
28 Téléchargements

Partager

Gmail Facebook X LinkedIn More