Higher-dimensional categories with finite derivation type

zbMath1190.18002arXiv0810.1442MaRDI QIDQ3646431

Yves Guiraud, Philippe Malbos

Publication date: 21 November 2009

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

zbMATH Keywords

rewritingpolygraphconvergence propertyfinite derivation type\(n\)-categorycoherence theoremcritical branching

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items

Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories, A diamond lemma for Hecke-type algebras, Coherent confluence modulo relations and double groupoids, Algebraic coherent confluence and higher globular Kleene algebras, Finite convergent presentation of plactic monoid for type C, Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category, Coherent presentations of monoids with a right-Noetherian Garside family, Abstract strategies and coherence, Unnamed Item, Higher-dimensional normalisation strategies for acyclicity, Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups, Coherence of Gray Categories via Rewriting, A coherence theorem for pseudonatural transformations, On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids, Convergent presentations and polygraphic resolutions of associative algebras, Proof diagrams for multiplicative linear logic: syntax and semantics, Polygraphs of finite derivation type, Rewriting in Gray categories with applications to coherence, Confluence of algebraic rewriting systems