arXiv (All)
open access
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
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Correspondences, motifs and monoidal transformations#490283
- The Orlik--Solomon algebra of a locally geometric poset and cohomology of complex abelian arrangements#1129372
- Quillen equivalence for chain homotopy categories induced by balanced pairs#158671
- Contact fundamental forms and adjoint varieties#822507
- Base change and the Mackey formula in Deligne--Lusztig theory#1037014
Record · ID 1051652
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive