Author:
GUIRAUD YVES,MALBOS PHILIPPE
Abstract
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 use rewriting methods on polygraphs to solve it. The setting is extended to more general coherence problems, viewed as 3-dimensional word problems in a track category, including the case of braided monoidal categories.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference17 articles.
1. Termination orders for three-dimensional rewriting
2. Identities among relations for higher-dimensional rewriting systems;Guiraud;Société Mathématique de France, Séminaires et Congrès,2011
3. On Theories with a Combinatorial Definition of "Equivalence"
4. String-Rewriting Systems
5. Resolutions by polygraphs;Métayer;Theory and Applications of Categories,2003
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献