Order in Partial Markov Categories

Abstract: Partial Markov categories are a recent framework for categorical probability theory, providing an abstract account of partial probabilistic computation. In this article, we discuss two order relations on the morphisms of a partial Markov category. In particular, we prove that every partial Markov category is canonically enriched over the category of preordered sets and monotone maps. We show that our construction recovers several well-known order enrichments. We also demonstrate that the existence of codiagonal maps (comparators) is closely related to order properties of partial Markov categories. We propose a synthetic version of the Cauchy-Schwarz inequality to facilitate inequational reasoning in partial Markov categories. We apply this new axiom to prove that updating a prior distribution with an evidence predicate increases the likelihood of the evidence in the posterior.