Léo Schelstraete

Rewriting modulo in diagrammatic algebras and application to categorification

We develop a rewriting theory suitable for diagrammatic algebras and lay down the foundations of a systematic study of their higher structures. In this paper, we focus on the question of finding bases. As an application, we give the first proof of a basis theorem for graded $\mat...