{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:21:07Z","timestamp":1776316867185,"version":"3.50.1"},"reference-count":35,"publisher":"Cambridge University Press (CUP)","issue":"10","license":[{"start":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T00:00:00Z","timestamp":1698192000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2023,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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 <jats:italic>property<\/jats:italic> of a symmetric monoidal category (rather than extra structure). We also characterize the positivity of representable Markov categories and prove that <jats:italic>causality implies positivity<\/jats:italic>, 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.<\/jats:p>","DOI":"10.1017\/s0960129523000324","type":"journal-article","created":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T08:05:25Z","timestamp":1698221125000},"page":"913-957","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":10,"title":["Dilations and information flow axioms in categorical probability"],"prefix":"10.1017","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7081-2635","authenticated-orcid":false,"given":"Tobias","family":"Fritz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Gonda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicholas Gauguin","family":"Houghton-Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Lorenzin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Perrone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dario","family":"Stein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2023,10,25]]},"reference":[{"key":"S0960129523000324_ref18","doi-asserted-by":"crossref","unstructured":"Heunen, C. , Kammar, O. , Staton, S. and Yang, H. (2017). A convenient category for higher-order probability theory. In: 2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS), [Piscataway], NJ, IEEE, 12. arXiv:1701.02547.","DOI":"10.1109\/LICS.2017.8005137"},{"key":"S0960129523000324_ref32","unstructured":"St. Clere Smithe, T. Compositional active inference I: Bayesian lenses. statistical games. arXiv:2109.04461."},{"key":"S0960129523000324_ref22","volume-title":"Graduate Texts in Mathematics","volume":"156","author":"Kechris","year":"1995"},{"key":"S0960129523000324_ref1","doi-asserted-by":"publisher","DOI":"10.1215\/ijm\/1255631584"},{"key":"S0960129523000324_ref17","doi-asserted-by":"crossref","unstructured":"Fullwood, J. and Parzygnat, A. J. (2021). The information loss of a stochastic map. Entropy 23 (8) Paper No. 1021, 27. arXiv:2107.01975.","DOI":"10.3390\/e23081021"},{"key":"S0960129523000324_ref21","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.351.7"},{"key":"S0960129523000324_ref8","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129518000488"},{"key":"S0960129523000324_ref31","doi-asserted-by":"publisher","DOI":"10.22331\/q-2021-04-28-445"},{"key":"S0960129523000324_ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3531130.3533355"},{"key":"S0960129523000324_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-1524-5_1"},{"key":"S0960129523000324_ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2023.113896"},{"key":"S0960129523000324_ref10","doi-asserted-by":"publisher","DOI":"10.1214\/aop\/1176993081"},{"key":"S0960129523000324_ref13","doi-asserted-by":"publisher","DOI":"10.31390\/josa.2.4.06"},{"key":"S0960129523000324_ref33","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806033"},{"key":"S0960129523000324_ref24","doi-asserted-by":"publisher","DOI":"10.1017\/etds.2023.6"},{"key":"S0960129523000324_ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2020.107239"},{"key":"S0960129523000324_ref26","unstructured":"Piedeleu, R. and Zanasi, F. An introduction to string diagrams for computer scientists. arXiv:2305.08768."},{"key":"S0960129523000324_ref4","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.99.240501"},{"key":"S0960129523000324_ref6","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.172.1"},{"key":"S0960129523000324_ref16","doi-asserted-by":"publisher","DOI":"10.32408\/compositionality-2-3"},{"key":"S0960129523000324_ref19","unstructured":"Houghton-Larsen, N. G. (2021). A Mathematical Framework for Causally Structured Dilations and its Relation to Quantum Self-Testing. Phd thesis, University of Copenhagen. arXiv:2103.02302."},{"key":"S0960129523000324_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10485-023-09717-0"},{"key":"S0960129523000324_ref7","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.81.062348"},{"key":"S0960129523000324_ref25","unstructured":"Parzygnat, A. J. (2020). Inverses, disintegrations, and Bayesian inversion in quantum Markov categories. arXiv:2001.08375."},{"key":"S0960129523000324_ref34","unstructured":"Stein, D. (2021). Structural Foundations for Probabilistic Programming Languages. Phd thesis, University of Oxford. dario-stein.de\/thesis.pdf."},{"key":"S0960129523000324_ref30","doi-asserted-by":"publisher","DOI":"10.3390\/e19040174"},{"key":"S0960129523000324_ref35","volume-title":"Logic in Computer Science","author":"Stein","year":"2021"},{"key":"S0960129523000324_ref5","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.76.2818"},{"key":"S0960129523000324_ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3434292"},{"key":"S0960129523000324_ref28","unstructured":"Rosenthal, K. I. (1990). Quantales and Their Applications, Pitman Research Notes in Mathematics Series, vol. 234, Harlow, Longman Scientific & Technical; copublished in the United States with John Wiley & Sons, Inc., New York."},{"key":"S0960129523000324_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40370-0_5"},{"key":"S0960129523000324_ref14","unstructured":"Fritz, T. and Klingler, A. The d-separation criterion in categorical probability. Journal of Machine Learning Research 24 (46) 1\u201349. arXiv:2207.05740."},{"key":"S0960129523000324_ref2","doi-asserted-by":"crossref","unstructured":"Baez, J. and Stay, M. (2011). Physics, topology, logic and computation: a Rosetta Stone. In: New Structures for Physics, Lecture Notes in Physics, vol. 813, Heidelberg, Springer, 95\u2013172. arXiv:0903.0340.","DOI":"10.1007\/978-3-642-12821-9_2"},{"key":"S0960129523000324_ref27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57182-5_8"},{"key":"S0960129523000324_ref9","doi-asserted-by":"crossref","unstructured":"Coumans, D. and Jacobs, B. (2013). Scalars, monads and categories. In: Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse, Oxford Academic.","DOI":"10.1093\/acprof:oso\/9780199646296.003.0007"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129523000324","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T02:19:06Z","timestamp":1701310746000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129523000324\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,25]]},"references-count":35,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2023,11]]}},"alternative-id":["S0960129523000324"],"URL":"https:\/\/doi.org\/10.1017\/s0960129523000324","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,10,25]]},"assertion":[{"value":"\u00a9 The Author(s), 2023. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}