Coherent presentations of Artin monoids

DOI10.1112/S0010437X14007842zbMath1398.20069arXiv1203.5358OpenAlexW3102094360MaRDI QIDQ5259734

Stéphane Gaussent, Philippe Malbos, Yves Guiraud

Publication date: 29 June 2015

Published in: Compositio Mathematica (Search for Journal in Brave)

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

zbMATH Keywords

presentationcoherencecompletionArtin monoidhigher-dimensional rewritingaction of monoids on categories

Mathematics Subject Classification ID

Related Items (19)

Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories ⋮ Coherent confluence modulo relations and double groupoids ⋮ Garside and Quadratic Normalisation: A Survey ⋮ Tietze equivalences as weak equivalences ⋮ Algebraic coherent confluence and higher globular Kleene algebras ⋮ Knuth's coherent presentations of plactic monoids of type A ⋮ Shuffle polygraphic resolutions for operads ⋮ Coherence for plactic monoids via rewriting theory and crystal structures ⋮ Coherent presentations of monoids with a right-Noetherian Garside family ⋮ Abstract strategies and coherence ⋮ Noncommutative Gröbner Bases: Applications and Generalizations ⋮ A coherence theorem for pseudonatural transformations ⋮ Convergent presentations and polygraphic resolutions of associative algebras ⋮ Topological rewriting systems applied to standard bases and syntactic algebras ⋮ Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems ⋮ Chinese syzygies by insertions ⋮ Polygraphs of finite derivation type ⋮ Confluence of algebraic rewriting systems ⋮ A rewriting coherence theorem with applications in homotopy type theory

Cites Work

• Higher-dimensional normalisation strategies for acyclicity
• Higher-dimensional word problems with applications to equational logic
• The cyclic sliding operation in Garside groups.
• Icons
• A finite Thue system with decidable word problem and without equivalent finite canonical system
• Limits indexed by category-valued 2-functors
• A note on words in braid monoids
• A finiteness condition for rewriting systems
• Action of the braid group on a category
• Higher-dimensional algebra. II: 2-Hilbert spaces
• Homology of Gaussian groups.
• A Quillen model structure for bicategories
• A Quillen model structure for 2-categories
• Representation theory of 2-groups on Kapranov and Voevodsky's 2-vector spaces
• Representation and character theory in 2-categories
• Les immeubles des groupes de tresses généralises
• Artin-Gruppen und Coxeter-Gruppen
• Groupes de Garside
• Gaussian Groups and Garside Groups, Two Generalisations of Artin Groups
• THE BRAID GROUP AND OTHER GROUPS

This page was built for publication: Coherent presentations of Artin monoids