Coherence in monoidal track categories - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2012

Coherence in monoidal track categories

Résumé

We introduce homotopical methods based on rewriting on higher-dimensional categories to prove coherence results in categories with an algebraic structure. We express the coherence problem for (symmetric) monoidal categories as an asphericity problem for a track category and we use rewriting methods on polygraphs to solve it. The setting is extended to more general coherence problems, seen as 3-dimensional word problems in a track category, including the case of braided monoidal categories.
Fichier principal
Vignette du fichier
cohe.pdf (652.65 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00470795 , version 1 (07-04-2010)
hal-00470795 , version 2 (01-12-2010)

Identifiants

Citer

Yves Guiraud, Philippe Malbos. Coherence in monoidal track categories. Mathematical Structures in Computer Science, 2012, 22 (6), pp.931-969. ⟨10.1017/S096012951100065X⟩. ⟨hal-00470795v2⟩
206 Consultations
144 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More