Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups

Benjamin Dupont

We study a presentation of Khovanov - Lauda - Rouquier's candidate $2$-categorification of a quantum group using algebraic rewriting methods. We use a computational approach based…