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
rewritingpolygraphconvergence propertyfinite derivation type\(n\)-categorycoherence theoremcritical branching
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (19)
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
This page was built for publication: Higher-dimensional categories with finite derivation type
