Inference on diagrams in the category of Markov kernels, ACT7 - talk