Coherent confluence modulo relations and double groupoids

DOI10.1016/j.jpaa.2022.107037zbMath1492.18009arXiv1810.08184OpenAlexW2896684324MaRDI QIDQ2136121

Philippe Malbos, Benjamin Dupont

Publication date: 10 May 2022

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

double categoriesrewriting modulo\(n\)-polygraphscoherence of higher categories

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Enriched categories (over closed or monoidal categories) (18D20) 2-categories, bicategories, double categories (18N10)

Related Items (2)

Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories ⋮ Algebraic coherent confluence and higher globular Kleene algebras

Cites Work

• Higher-dimensional normalisation strategies for acyclicity
• Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev
• Higher-dimensional word problems with applications to equational logic
• The geometry of tensor calculus. I
• Limits indexed by category-valued 2-functors
• Completion for rewriting modulo a congruence
• A finiteness condition for rewriting systems
• Knuth's coherent presentations of plactic monoids of type A
• On the definition of Heisenberg category
• Chinese syzygies by insertions
• Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups
• Convergent presentations and polygraphic resolutions of associative algebras
• A categorification of quantum \(\text{sl}(n)\)
• Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category
• Normalized rewriting: An alternative to rewriting modulo a set of equations
• On algebras which are connected with the semisimple continuous groups
• On theories with a combinatorial definition of 'equivalence'
• Polygraphs of finite derivation type
• Higher-dimensional categories with finite derivation type
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Complete Sets of Reductions for Some Equational Theories
• On the Connection between the Second Relative Homotopy Groups of Some Related Spaces
• Introduction to linear bicategories
• Coherence in monoidal track categories
• Braids, Link Polynomials and a New Algebra
• An introduction to diagrammatic algebra and categorified quantum sl(2)
• Coherent presentations of Artin monoids
• Catégories structurées
• Heisenberg algebra and a graphical calculus
• Relations between the ‘percolation’ and ‘colouring’ problem and other graph-theoretical problems associated with regular planar lattices: some exact results for the ‘percolation’ problem
• Confluence of algebraic rewriting systems
• What is a free double category like?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Coherent confluence modulo relations and double groupoids