Coherent confluence modulo relations and double groupoids
From MaRDI portal
Publication:2136121
DOI10.1016/J.JPAA.2022.107037zbMATH Open1492.18009arXiv1810.08184OpenAlexW2896684324MaRDI QIDQ2136121FDOQ2136121
Authors: Benjamin Dupont, Philippe Malbos 
Publication date: 10 May 2022
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Abstract: A coherent presentation of an n-category is a presentation by generators, relations and relations among relations. Confluent and terminating rewriting systems generate coherent presentations, whose relations among relations are defined by confluence diagrams of critical branchings. This article introduces a procedure to compute coherent presentations when the rewrite relations are defined modulo a set of axioms. Our coherence results are formulated using the structure of n-categories enriched in double groupoids, whose horizontal cells represent rewriting paths, vertical cells represent the congruence generated by the axioms and square cells represent coherence cells induced by diagrams of confluence modulo. We illustrate our constructions on rewriting systems modulo commutation relations in commutative monoids, isotopy relations in pivotal monoidal categories, and inverse relations in groups.
Full work available at URL: https://arxiv.org/abs/1810.08184
Recommendations
- Congruence coherent distributive doublep-algebras
- On modular cohomotopy groups
- Groupoid cohomology and extensions
- Congruence coherent double MS-algebras
- The structure of double groupoids
- scientific article; zbMATH DE number 1546966
- Cohomology of certain congruence subgroups of the modular group
- Modular groupoids
- The coarse Baum-Connes conjecture and groupoids
- Cohomology and extensions of ordered groupoids
Grammars and rewriting systems (68Q42) Enriched categories (over closed or monoidal categories) (18D20) 2-categories, bicategories, double categories (18N10)
Cites Work
- The geometry of tensor calculus. I
- A categorification of quantum \(\text{sl}(n)\)
- On the Connection between the Second Relative Homotopy Groups of Some Related Spaces
- Relations between the ‘percolation’ and ‘colouring’ problem and other graph-theoretical problems associated with regular planar lattices: some exact results for the ‘percolation’ problem
- Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev
- \(q\)-Schur algebras and complex reflection groups.
- Heisenberg algebra and a graphical calculus
- On theories with a combinatorial definition of 'equivalence'
- Planar algebras. I
- Polygraphs of finite derivation type
- Catégories structurées
- Title not available (Why is that?)
- Complete Sets of Reductions for Some Equational Theories
- Normalized rewriting: An alternative to rewriting modulo a set of equations
- On algebras which are connected with the semisimple continuous groups
- Braids, Link Polynomials and a New Algebra
- An introduction to diagrammatic algebra and categorified quantum \({\mathfrak{sl}}_2\)
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Limits indexed by category-valued 2-functors
- A finiteness condition for rewriting systems
- Title not available (Why is that?)
- Higher-dimensional categories with finite derivation type
- Higher-dimensional normalisation strategies for acyclicity
- Higher-dimensional word problems with applications to equational logic
- Introduction to linear bicategories
- Coherence in monoidal track categories
- Coherent presentations of Artin monoids
- What is a free double category like?
- Completion for rewriting modulo a congruence
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Confluence of algebraic rewriting systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Convergent presentations and polygraphic resolutions of associative algebras
- On the definition of Heisenberg category
- Knuth's coherent presentations of plactic monoids of type A
- Chinese syzygies by insertions
- Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups
- Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (7)
- Identities among relations for higher-dimensional rewriting systems
- Algebraic coherent confluence and higher globular Kleene algebras
- Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories
- Coherent presentations of monoidal categories
- Coherence in monoidal track categories
- Coherence of Gray categories via rewriting
- The category of 3-computads is not cartesian closed
This page was built for publication: Coherent confluence modulo relations and double groupoids
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2136121)
