{"id":"arxiv/2603.18321","url":"https://arxiv.org/abs/2603.18321","tags":["math.CT","cs.LO"],"score":0,"title":"A Simple Categorical Calculus of Interacting Processes","domain":"math.CT","source":"arxiv","authors":["Chad Nester","Niels Voorneveld"],"reviews":0,"subject":"math.CT","summary":"We present a calculus that models a simple sort of process interaction. Our calculus consists of a collection of terms together with a rewrite relation, parameterised by an arbitrary multicategory whose morphisms we understand as non-interactive processes. We show that our calculus is confluent and terminating, and that terms modulo the induced convertibility relation form a virtual double category. We relate our calculus to the free cornering of a monoidal category, which is a double-categorical model of process interaction that is similar in spirit to the calculus presented herein.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-18","reactions":{}}