I am reading Patterson's paper *Knowledge representation in bicategories of relations*. It looks like it has many of the properties of the Markov categories which Fritz has been detailing in *A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics*. Is the bicategory of sets and relations actually a Markov category?

[Edit] Someone has pointed out that I may be asking about the bicategory version of Markov categories. So, the question is, is the bicategory Rel a Markov bicategory.

1more comment