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.