The paper proves the first basis theorem for graded gl₂-foams via a new 'linear Gray rewriting modulo' framework.
Computing Critical Pairs in 2-Dimensional Rewriting Systems
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.RT 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Rewriting modulo in diagrammatic algebras and application to categorification
The paper proves the first basis theorem for graded gl₂-foams via a new 'linear Gray rewriting modulo' framework.