Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories

DOI10.1016/j.jalgebra.2022.02.006zbMath1491.18001arXiv1906.03904OpenAlexW2948341651MaRDI QIDQ2122211

Benjamin Dupont

Publication date: 6 April 2022

Published in: Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

rewriting modulohigher-dimensional linear categorieslinear polygraphs

Mathematics Subject Classification ID

Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) (17B10) Grammars and rewriting systems (68Q42) Definitions and generalizations in theory of categories (18A05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Higher-dimensional normalisation strategies for acyclicity
• Webs and quantum skew Howe duality
• 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
• Complete rewriting systems and homology of monoid algebras
• Termination of rewriting
• The algebra of oriented simplexes
• The Kauffman polynomial of links and representation theory
• The diamond lemma for ring theory
• Limits indexed by category-valued 2-functors
• Confluence by decreasing diagrams
• Towards an algebraic theory of Boolean circuits.
• Knuth's coherent presentations of plactic monoids of type A
• On the definition of Heisenberg category
• 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
• Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category
• Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
• Cofibrant objects among higher-dimensional categories
• Termination orders for three-dimensional rewriting
• On algebras which are connected with the semisimple continuous groups
• On theories with a combinatorial definition of 'equivalence'
• Polygraphs of finite derivation type
• A diagrammatic approach to categorification of quantum groups I
• Higher-dimensional categories with finite derivation type
• On Monomial Algebras of Finite Global Dimension
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Introduction to linear bicategories
• Braids, Link Polynomials and a New Algebra
• An introduction to diagrammatic algebra and categorified quantum sl(2)
• Coherent presentations of Artin monoids
• Heisenberg algebra and a graphical calculus
• Relations between the ‘percolation’ and ‘colouring’ problem and other graph-theoretical problems associated with regular planar lattices: some exact results for the ‘percolation’ problem
• Confluence of algebraic rewriting systems

This page was built for publication: Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories