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 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,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.25159
curl -X POST /api/v1/records/arxiv/2609.25159/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.25159/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'