Markov Categories probability theory from a dynamical, i.e. process-oriented point of view the structures (? Morphism ?) are transitions with randomness test $f_N$ and $f^G$