Coherent confluence modulo relations and double groupoids
From MaRDI portal
Publication:2136121
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
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
