Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Coherent confluence modulo relations and double groupoids

Benjamin Dupont 1 Philippe Malbos 1 
1 AGL - Algèbre, géométrie, logique
ICJ - Institut Camille Jordan [Villeurbanne]
Abstract : A coherent presentation of an n-category is a presentation by generators, relations and relations among relations. Completions of presentations by rewriting systems give coherent presentations, whose relations among relations are generated by confluence diagrams induced by critical branchings. This article extends this construction to presentations by polygraphs defined modulo a set of relations. Our coherence results are formulated using the structure of n-category enriched in double groupoids, whose horizontal cells represent rewriting sequences, vertical cells represent the congruence generated by relations modulo and square cells represent coherence cells induced by confluence modulo. We illustrate these constructions for rewriting modulo commutation relations in monoids and isotopy relations in pivotal monoidal categories.
Complete list of metadata

Cited literature [39 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01898868
Contributor : Philippe Malbos Connect in order to contact the contributor
Submitted on : Tuesday, February 12, 2019 - 12:07:37 AM
Last modification on : Tuesday, April 26, 2022 - 2:00:02 AM
Long-term archiving on: : Monday, May 13, 2019 - 1:26:21 PM

File

coherenceModulo.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01898868, version 2

Citation

Benjamin Dupont, Philippe Malbos. Coherent confluence modulo relations and double groupoids. 2018. ⟨hal-01898868v2⟩

Share

Metrics

Record views

110

Files downloads

161