Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866914568006008832 |
|---|---|
| author | Raphaëlle, Crubillé |
| author_facet | Raphaëlle, Crubillé |
| contents | We establish a connection between two results in the literature on probabilistic semantics: a formulation of De Finetti's theorem in the language of category theory due to Jacobs and Staton, and the generic construction of the free exponential of Linear Logic by Melliès et al, that has been instantiated in the model of probabilistic coherence spaces by Crubillé et al. The structural proximity of these two constructions is manifest, but making this connection formal requires technical developments on the relationship between the category of stochastic kernels and the category of integrable cones, two well-known categories in probabilistic semantics. We then use this connection to give a characterization of the total elements of the probabilistic coherence space !Bool. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_15402 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Interpreting De Finetti's theorem in the Category of Integrable Cones (long version) Raphaëlle, Crubillé Logic in Computer Science F.4.1; F.3.2 We establish a connection between two results in the literature on probabilistic semantics: a formulation of De Finetti's theorem in the language of category theory due to Jacobs and Staton, and the generic construction of the free exponential of Linear Logic by Melliès et al, that has been instantiated in the model of probabilistic coherence spaces by Crubillé et al. The structural proximity of these two constructions is manifest, but making this connection formal requires technical developments on the relationship between the category of stochastic kernels and the category of integrable cones, two well-known categories in probabilistic semantics. We then use this connection to give a characterization of the total elements of the probabilistic coherence space !Bool. |
| title | Interpreting De Finetti's theorem in the Category of Integrable Cones (long version) |
| topic | Logic in Computer Science F.4.1; F.3.2 |
| url | https://arxiv.org/abs/2605.15402 |