1 citations · 3 across the 6 of their papers we have counts for
7 papers
Pairs of tree dessins, their Shabat polynomials, and monodromy groups
Benjamin Dupont, Revekka Kyriakoglou, Vassilis Metaftsis +2
Coverings of the Riemann sphere by itself, ramified over two points, are given by so-called Shabat polynomials. The correspondence between Grothendieck's dessins d'enfants and Bely…
Categorification of infinite-dimensional -modules and braid group 2-actions I: tensor products
Benjamin Dupont, Grégoire Naisse
This is the first part of a series of two papers aiming to construct a categorification of the braiding on tensor products of Verma modules, and in particular of the Lawrence--Kram…
Super rewriting theory and nondegeneracy of odd categorified sl(2)
Benjamin Dupont, Mark Ebert, Aaron D. Lauda
We develop the rewriting theory for monoidal supercategories and 2-supercategories. This extends the theory of higher-dimensional rewriting established for (linear) 2-categories to…
Confluence of algebraic rewriting systems
Cyrille Chenavier, Benjamin Dupont, Philippe Malbos
Convergent rewriting systems on algebraic structures give methods to solve decision problems, to prove coherence results, and to compute homological invariants. These methods are b…
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…
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…
Coherent confluence modulo relations and double groupoids
Benjamin Dupont, Philippe Malbos
A coherent presentation of an n-category is a presentation by generators, relations and relations among relations. Confluent and terminating rewriting systems generate coherent pre…