{"id":"arxiv/2604.27959","url":"https://arxiv.org/abs/2604.27959","tags":["math.CT"],"score":0,"title":"Colored Markov polycategories and diagrammatic differentiation","domain":"math.CT","source":"arxiv","authors":["Theodore Papamarkou"],"reviews":0,"subject":"math.CT","summary":"Many stochastic systems are built by wiring typed components together, but the wiring is often neither purely sequential nor type-homogeneous. This paper develops categorical semantics for such systems using ordered polycategories whose morphisms are Markov kernels. The basic operation is kernel slotwise composition, which connects one output slot of a many-output kernel to one input slot of another and marginalizes the internal wire. We prove its structural laws by assigning trace semantics to finite acyclic diagrams. We then introduce colored Markov polycategories, where objects and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-30","reactions":{}}