1 citations · 3 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.RT2019
Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups
Benjamin Dupont
We study a presentation of Khovanov - Lauda - Rouquier's candidate -categorification of a quantum group using algebraic rewriting methods. We use a computational approach based…
math.CT2019★ 1 cited
Rewriting modulo isotopies in pivotal linear -categories
Benjamin Dupont
In this paper, we study rewriting modulo a set of algebraic axioms in categories enriched in linear categories, called linear~-categories. We introduce the structure of line…