Coherence in monoidal track categories

DOI10.1017/S096012951100065XzbMath1264.18007arXiv1004.1055MaRDI QIDQ4649461

Yves Guiraud, Philippe Malbos

Publication date: 22 November 2012

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1004.1055

zbMATH Keywords

monoidal categorybraided monoidal categorysymmetric monoidal categorypolygraphcoherence resultstrack category

Mathematics Subject Classification ID

Related Items (11)

Coherent confluence modulo relations and double groupoids ⋮ Algebraic coherent confluence and higher globular Kleene algebras ⋮ Abstract strategies and coherence ⋮ Variations on a theme of homotopy ⋮ Noncommutative Gröbner Bases: Applications and Generalizations ⋮ A coherence theorem for pseudonatural transformations ⋮ A cubical Squier’s theorem ⋮ Polygraphs of finite derivation type ⋮ Rewriting in Gray categories with applications to coherence ⋮ Confluence of algebraic rewriting systems ⋮ A rewriting coherence theorem with applications in homotopy type theory

Cites Work

• Higher-dimensional normalisation strategies for acyclicity
• Higher-dimensional word problems with applications to equational logic
• The algebra of oriented simplexes
• Limits indexed by category-valued 2-functors
• Braided tensor categories
• Termination orders for three-dimensional rewriting
• On theories with a combinatorial definition of 'equivalence'
• Categorical algebra
• Homotopy Associativity of H-Spaces. I

This page was built for publication: Coherence in monoidal track categories