Coherence in monoidal track categories
From MaRDI portal
Publication:4649461
DOI10.1017/S096012951100065XzbMATH Open1264.18007arXiv1004.1055MaRDI QIDQ4649461FDOQ4649461
Authors: Yves Guiraud, Philippe Malbos 
Publication date: 22 November 2012
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
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 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.
Full work available at URL: https://arxiv.org/abs/1004.1055
Recommendations
- Coherence in substructural categories
- Coherence for bicategories, lax functors, and shadows
- \(\otimes\)-strict AU categories
- Coherent confluence modulo relations and double groupoids
- Coherence in Three-Dimensional Category Theory
- Coherence of Gray categories via rewriting
- Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions
- A general coherence result
- Loop spaces, and coherence for monoidal and braided monoidal bicategories
- scientific article; zbMATH DE number 17524
symmetric monoidal categorypolygraphmonoidal categorybraided monoidal categorycoherence resultstrack category
Cites Work
- Braided tensor categories
- Homotopy Associativity of H-Spaces. I
- On theories with a combinatorial definition of 'equivalence'
- Categorical algebra
- The algebra of oriented simplexes
- Limits indexed by category-valued 2-functors
- Termination orders for three-dimensional rewriting
- Higher-dimensional normalisation strategies for acyclicity
- Higher-dimensional word problems with applications to equational logic
Cited In (16)
- A cubical Squier's theorem
- Free precategories as presheaf categories
- Variations on a theme of homotopy
- Coherent confluence modulo relations and double groupoids
- Algebraic coherent confluence and higher globular Kleene algebras
- Rewriting in Gray categories with applications to coherence
- Coherent presentations of monoidal categories
- Noncommutative Gröbner bases: applications and generalizations
- Confluence of algebraic rewriting systems
- Coherence for adjunctions in a 3-category via string diagrams
- A coherence theorem for pseudonatural transformations
- Coherence of Gray categories via rewriting
- Polygraphs of finite derivation type
- Abstract strategies and coherence
- Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids
- A rewriting coherence theorem with applications in homotopy type theory
This page was built for publication: Coherence in monoidal track categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4649461)
