Normalized Probabilistic Semantics is Not Associative

Elena Di Lavore, Mario Román, Márk Széles

Normalization, $D(X+1)\to D(X)+1$, fails to form a distributive law, forcing the composition of normalized stochastic kernels to be non-associative. We introduce a first norma…