Dilations and information flow axioms in categorical probability

Tobias Fritz,Tomas Gonda, Nicholas Gauguin Houghton-Larsen, Antonio Lorenzin,Paolo Perrone,Dario Stein

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE(2023)

引用 0|浏览1
暂无评分
摘要
We study the positivity and causality axioms for Markov categories as properties of dilations and information flow and also develop variations thereof for arbitrary semicartesian monoidal categories. These help us show that being a positive Markov category is merely an additional property of a symmetric monoidal category (rather than extra structure). We also characterize the positivity of representable Markov categories and prove that causality implies positivity, but not conversely. Finally, we note that positivity fails for quasi-Borel spaces and interpret this failure as a privacy property of probabilistic name generation.
更多
查看译文
关键词
Categorical probability,Markov category,Semicartesian category,Information flow,Quasi-Borel space
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要