Rewriting in Gray categories with applications to coherence - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2022

Rewriting in Gray categories with applications to coherence

Résumé

Over the recent years, the theory of rewriting has been used and extended in order to provide systematic techniques to show coherence results for strict higher categories. Here, we investigate a further generalization to Gray categories, which are known to be equivalent to tricategories. This requires us to develop the theory of rewriting in the setting of precategories, which are adapted to mechanized computations and include Gray categories as particular cases. We show that a finite rewriting system in precategories admits a finite number of critical pairs, which can be efficiently computed. We also extend Squier’s theorem to our context, showing that a convergent rewriting system is coherent, which means that any two parallel 3-cells are necessarily equal. This allows us to prove coherence results for several well-known structures in the context of Gray categories: monoids, adjunctions, and Frobenius monoids.
Fichier principal
Vignette du fichier
mimram_gray_rewr.pdf (1.11 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04244411 , version 1 (16-10-2023)

Licence

Paternité

Identifiants

Citer

Simon Forest, Samuel Mimram. Rewriting in Gray categories with applications to coherence. Mathematical Structures in Computer Science, 2022, 32 (5), pp.574-647. ⟨10.1017/S0960129522000299⟩. ⟨hal-04244411⟩
10 Consultations
6 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More