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. Is it actually a Markov category?
Is the Bi-Categories of Sets and Relations a Markov Category?
mathlete42
- 331
- 1
- 6