Coherent confluence modulo relations and double groupoids
From MaRDI portal
Publication:2136121
DOI10.1016/J.JPAA.2022.107037zbMATH Open1492.18009OpenAlexW2896684324MaRDI 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A categorification of quantum \(\text{sl}(n)\)
- A finiteness condition for rewriting systems
- An introduction to diagrammatic algebra and categorified quantum \({\mathfrak{sl}}_2\)
- Braids, Link Polynomials and a New Algebra
- Catégories structurées
- Chinese syzygies by insertions
- Coherence in monoidal track categories
- Coherent presentations of Artin monoids
- Complete Sets of Reductions for Some Equational Theories
- Completion for rewriting modulo a congruence
- Confluence of algebraic rewriting systems
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Convergent presentations and polygraphic resolutions of associative algebras
- Heisenberg algebra and a graphical calculus
- 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
- Knuth's coherent presentations of plactic monoids of type A
- Limits indexed by category-valued 2-functors
- Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev
- Normalized rewriting: An alternative to rewriting modulo a set of equations
- On algebras which are connected with the semisimple continuous groups
- On the Connection between the Second Relative Homotopy Groups of Some Related Spaces
- On the definition of Heisenberg category
- On theories with a combinatorial definition of 'equivalence'
- Planar algebras. I
- Polygraphs of finite derivation type
- Relations between the ‘percolation’ and ‘colouring’ problem and other graph-theoretical problems associated with regular planar lattices: some exact results for the ‘percolation’ problem
- Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category
- Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups
- The geometry of tensor calculus. I
- What is a free double category like?
- \(q\)-Schur algebras and complex reflection groups.
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)
