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 category; braided monoidal category; symmetric monoidal category; polygraph; coherence results; track category

Mathematics Subject Classification ID

Related Items

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

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