arxiv.org
Monoidal Gröbner systems and categories of affine Brauer type
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 to prove basis theore...