Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2309.06913 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916510279139328 |
|---|---|
| author | Kozen, Dexter Silva, Alexandra Voogd, Erik |
| author_facet | Kozen, Dexter Silva, Alexandra Voogd, Erik |
| contents | Various categories have been proposed as targets for the denotational semantics of higher-order probabilistic programming languages. One such proposal involves joint probability distributions (couplings) used in Bayesian statistical models with conditioning. In previous treatments, composition of joint measures was performed by disintegrating to obtain Markov kernels, composing the kernels, then reintegrating to obtain a joint measure. Disintegrations exist only under certain restrictions on the underlying spaces. In this paper we propose a category whose morphisms are joint finite measures in which composition is defined without reference to disintegration, allowing its application to a broader class of spaces. The category is symmetric monoidal with a pleasing symmetry in which the dagger structure is a simple transpose. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2309_06913 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Joint Distributions in Probabilistic Semantics Kozen, Dexter Silva, Alexandra Voogd, Erik Programming Languages Various categories have been proposed as targets for the denotational semantics of higher-order probabilistic programming languages. One such proposal involves joint probability distributions (couplings) used in Bayesian statistical models with conditioning. In previous treatments, composition of joint measures was performed by disintegrating to obtain Markov kernels, composing the kernels, then reintegrating to obtain a joint measure. Disintegrations exist only under certain restrictions on the underlying spaces. In this paper we propose a category whose morphisms are joint finite measures in which composition is defined without reference to disintegration, allowing its application to a broader class of spaces. The category is symmetric monoidal with a pleasing symmetry in which the dagger structure is a simple transpose. |
| title | Joint Distributions in Probabilistic Semantics |
| topic | Programming Languages |
| url | https://arxiv.org/abs/2309.06913 |