{"id":"arxiv/2609.25159","url":"https://arxiv.org/abs/2609.25159","tags":["math.RT","math.CT","math.QA"],"score":0,"title":"Monoidal Gröbner systems and categories of affine Brauer type","domain":"math.RT","source":"arxiv","authors":["Sigiswald Barbier","Léo Schelstraete"],"reviews":0,"subject":"math.RT","summary":"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 theorems. The central notion is that of a monoidal Gröbner system and is based on higher linear rewriting theory. We then apply the theory to categories of affine Brauer type: linear (super)monoidal categories that have the same hom-basis as the affine Brauer category, but possibly distinct composition and tensor product. Our main result is a criterion for a category to be of affine Brauer type,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-21","reactions":{}}