3 problems

Let $\mathsf {BaireMeas}$ be the category of Baire measurable spaces, and let $\mathsf {BaireStoch}$ be its associated Markov category of kernels. A Markov functor is understood to…

Let $\mathsf{C}$ be a Markov category with supports, and let $p$ and $q$ be morphisms in $\mathsf{C}$. Write $S_f$ for the support object of a morphism $f$. Support tensor-product…

Conditional-expectation Markov category conjecture. Such a Markov category exists, with conditionals in the sense of the paper's definition, and these conditionals are given by con…