Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category
From MaRDI portal
Publication:2411669
DOI10.1016/j.jpaa.2017.05.002zbMath1390.18014arXiv1603.02592OpenAlexW2963170630MaRDI QIDQ2411669
Publication date: 24 October 2017
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1603.02592
Related Items
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
Cites Work
- Unnamed Item
- A basis theorem for the affine oriented Brauer category and its cyclotomic quotients
- Higher-dimensional word problems with applications to equational logic
- Affine walled Brauer algebras and super Schur-Weyl duality
- The algebra of oriented simplexes
- Confluence by decreasing diagrams
- Cofibrant objects among higher-dimensional categories
- Rings with several objects
- On theories with a combinatorial definition of 'equivalence'
- Higher-dimensional categories with finite derivation type
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Higher categorified algebras versus bounded homotopy algebras
- Quantum invariants of knots and 3-manifolds