Speaker: Florence Clerc
Title: The dual view of Markov Processes
I will describe how to view a probabilistic transition system as a transformer of functions rather than as a transformer of probability distributions. A Markov process is normally viewed as a Markov kernel i.e. a map from S x Σ → [0,1] where S is a state space and Σ is a σ-algebra on S. These Markov kernels are morphisms in the Kleisli category of the Giry monad. In recent work by Chaput, Danos, Panangaden and Plotkin, Markov processes were reinterpreted as linear maps on the space of positive L1 functions on S. This is analogous to taking the predicate transformer view of Markov processes. A number of dualities and isomorphisms emerge in this picture. Most interestingly conditional expectation can be understood functorially.