Coherent presentations for stylic monoids via row rewriting
We study stylic monoids from the viewpoint of higher-dimensional rewriting. A coherent presentation records not only the defining relations of a monoid, but also the relations among them. Using the $N$-tableau model, we construct a finite coherent presentation for every stylic monoid of finite rank. We start from the known finite convergent row presentation. By adjoining one generating confluence for each critical branching, Squier's coherence theorem yields a finite coherent extension. We then simplify the resulted coherent presentation by two successive homotopical reductions adapted to…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.15515
curl -X POST /api/v1/records/arxiv/2609.15515/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.15515/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'