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.

Fritz, T., Gonda, T., Houghton-Larsen, N., Lorenzin, A., Perrone, P., Stein, D. (2023). Dilations and information flow axioms in categorical probability. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 33(10), 913-957 [10.1017/S0960129523000324].

Dilations and information flow axioms in categorical probability

Lorenzin A.;
2023

Abstract

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.
Articolo in rivista - Articolo scientifico
Categorical probability; Information flow; Markov category; Quasi-Borel space; Semicartesian category;
English
25-ott-2023
2023
33
10
913
957
none
Fritz, T., Gonda, T., Houghton-Larsen, N., Lorenzin, A., Perrone, P., Stein, D. (2023). Dilations and information flow axioms in categorical probability. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 33(10), 913-957 [10.1017/S0960129523000324].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/528035
Citazioni
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
Social impact