I am reading Patterson's paper *Knowledge representation in bicategories of relations* [(ArXiv link)](https://arxiv.org/abs/1706.00526).  It looks like it has many of the properties of the Markov categories which Fritz has been detailing [(ArXiv link)](https://arxiv.org/abs/1908.07021).  Is it actually a Markov category?