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?

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.

I am reading Patterson's paper Knowledge representation in bicategories of relations (ArXiv link). It looks like it has many of the properties of the Markov categories which Fritz has been detailing (ArXiv link). Is it actually a Markov category?

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?