Monoidal Gröbner systems and categories of affine Brauer type

Sigiswald Barbier, Léo Schelstraete

We introduce an analogue of Gröbner bases, or equivalently, Bergman's diamond lemma, for linear (super)monoidal categories. It gives a systematic way to study monoidal ideals and t…