{"id":"arxiv/2601.10564","url":"https://arxiv.org/abs/2601.10564","tags":["cs.FL","cs.LO","math.CT"],"score":0,"title":"Rewriting Systems on Arbitrary Monoids","domain":"cs.FL","source":"arxiv","authors":["Eduardo Magalhães"],"reviews":0,"subject":"cs.FL","summary":"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. 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 2-adjunction…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-01-15","reactions":{}}