{
  "annotation_id": "d5d3505d-6f9d-4d43-8f46-d47da7b08867",
  "date_created": "2026-02-17T05:53:24.183000Z",
  "date_modified": "2026-02-17T05:53:24.183000Z",
  "file_hash": "958a9d8e76880f498d7384bdb5f0777a4df17d53c34f26b7927eef6848b4bc13",
  "private": false,
  "record": {
    "abstract": "In this paper, we introduce monoidal rewriting systems (MRS), an abstraction of string rewriting in which reductions are defined over an arbitrary ambient monoid rather than a free monoid of words. This shift is partly motivated by logic: the class of free monoids is not first-order axiomatizable, so \"working in the free setting\" cannot be treated internally when applying first-order methods to rewriting presentations.\n  To analyze these systems categorically, we define $\\mathbf{NCRS_2}$ as the 2-category of Noetherian Confluent MRS. We then prove the existence of a canonical biadjunction between $\\mathbf{NCRS_2}$ and $\\mathbf{Mon}$.\n  Finally, we classify all Noetherian Confluent MRS that present a given fixed monoid. For this, we introduce Generalized Elementary Tietze Transformations (GETTs) and prove that any two presentations of a monoid are connected by a (possibly infinite) sequence of these transformations, yielding a complete characterization of generating systems up to GETT-equivalence.",
    "arxiv_id": "2601.10564",
    "authors": [
      "Eduardo Magalh\u00e3es"
    ],
    "categories": [
      "cs.FL",
      "cs.LO",
      "math.CT"
    ],
    "license": "http://creativecommons.org/licenses/by/4.0/",
    "title": "Rewriting Systems on Arbitrary Monoids",
    "url": "https://arxiv.org/abs/2601.10564",
    "version": "v2"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "7f517a4a-e631-4c49-bebb-8a3ac97eb4f6",
    "id": "arXiv Dataset",
    "type": "Model",
    "variant": "snapshot-2026-01-17",
    "version": "0.1.0"
  },
  "user_id": 1000002
}