Year: 2026
Type: preprint
Abstract: In this article, we introduce a new rewriting method for computing hom-bases of diagrammatic categories. Our approach is based on stratified presentations, obtained by partitioning an equational presentation into strata according to the rewriting behavior of its relations. We establish modularity principles for termination and confluence in stratified rewriting systems with coefficients in a ring. We then introduce a completion procedure that transforms a stratified presentation into a normalized one, in which mixed interactions between successive strata are absorbed into the normalized rewriting rules, thereby inducing modularity of confluence. This leads to a stratified hom-basis theorem for diagrammatic categories. We illustrate the method by applying it to the $q$-Schur category, for which we construct a new hom-basis.
Source: arXiv (Cornell University)
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Funder: China Scholarship Council
OpenAlex ID: W7214919263