{"id":"arxiv/2610.03897","url":"https://arxiv.org/abs/2610.03897","tags":["math.CT","cs.FL"],"score":0,"title":"Graphoid Automata, Frobenius PROPs, and Semiring Evaluation","domain":"math.CT","source":"arxiv","authors":["Antonios Kalampakas"],"reviews":0,"subject":"math.CT","summary":"Graphoid automata evaluate graphs by composing relations between words of states. We examine the equations that make this evaluation independent of the chosen graph expression, and what changes when relations are replaced by matrices over a commutative semiring. We prove that the classical graphoid equations are equivalent to the special commutative Frobenius equations together with the required symmetry laws. The known cospan and hypergraph presentations then describe equality of structural and labelled expressions, with the bone law deleting precisely the isolated internal vertices. We use…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-02","reactions":{}}