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?