Higher-dimensional categories with finite derivation type
From MaRDI portal
Publication:3646431
zbMath1190.18002arXiv0810.1442MaRDI QIDQ3646431
Publication date: 21 November 2009
Full work available at URL: https://arxiv.org/abs/0810.1442
rewriting; polygraph; convergence property; finite derivation type; \(n\)-category; coherence theorem; critical branching
68Q42: Grammars and rewriting systems
18C10: Theories (e.g., algebraic theories), structure, and semantics
Related Items
Unnamed Item, A diamond lemma for Hecke-type algebras, Algebraic coherent confluence and higher globular Kleene algebras, Coherence of Gray Categories via Rewriting, Rewriting in Gray categories with applications to coherence, Confluence of algebraic rewriting systems, Higher-dimensional normalisation strategies for acyclicity, A coherence theorem for pseudonatural transformations, On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids, Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories, Coherent confluence modulo relations and double groupoids, Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups, Convergent presentations and polygraphic resolutions of associative algebras, Proof diagrams for multiplicative linear logic: syntax and semantics, 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, Polygraphs of finite derivation type, Finite convergent presentation of plactic monoid for type C