Coherent confluence modulo relations and double groupoids

DOI10.1016/J.JPAA.2022.107037zbMATH Open1492.18009arXiv1810.08184OpenAlexW2896684324MaRDI QIDQ2136121FDOQ2136121

Philippe Malbos, Benjamin Dupont

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

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)

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?)
• Title not available (Why is that?)
• 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
• 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
• 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 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
• 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
• Confluence of algebraic rewriting systems
• 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

Cited In (4)

• Algebraic coherent confluence and higher globular Kleene algebras
• Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories
• Coherence in monoidal track categories
• The category of 3-computads is not cartesian closed

Recommendations

• Title not available (Why is that?) 👍 👎
• The coarse Baum-Connes conjecture and groupoids 👍 👎
• Groupoid cohomology and extensions 👍 👎
• Cohomology of certain congruence subgroups of the modular group 👍 👎
• The structure of double groupoids 👍 👎
• On modular cohomotopy groups 👍 👎
• Congruence coherent distributive doublep-algebras 👍 👎
• Cohomology and extensions of ordered groupoids 👍 👎
• Modular groupoids 👍 👎
• Congruence coherent double MS-algebras 👍 👎

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)