A stochastic process describes a dynamical system evolving over a linearly ordered set (“time”), typically taken to be the (positive) integers or real numbers, whose dynamical laws of motion are morphisms in the Kleisli category of the Giry monad (or any other probability monad). By working in the larger category of algebras of that monad, a characterization of a stochastic processes can be modeled in terms of the expected value of measurements on that process. By a random process physicists...