{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:GSRTQV6CWQZGDTRBVLI7XCVZGZ","short_pith_number":"pith:GSRTQV6C","schema_version":"1.0","canonical_sha256":"34a33857c2b43261ce21aad1fb8ab93647c624e3d71d013864b1b1e3e88a5aab","source":{"kind":"arxiv","id":"2605.15402","version":1},"attestation_state":"computed","paper":{"title":"Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Connecting categorical De Finetti theorem to linear logic exponentials characterizes total elements of !Bool","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Crubill\\'e Rapha\\\"elle","submitted_at":"2026-05-14T20:37:17Z","abstract_excerpt":"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\\`es et al, that has been instantiated in the model of probabilistic coherence spaces by Crubill\\'e 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 "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":true,"formal_links_present":true},"canonical_record":{"source":{"id":"2605.15402","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-05-14T20:37:17Z","cross_cats_sorted":[],"title_canon_sha256":"25ee75a220087a5c6d2c30b3487597d704885beb2b51027c7b767dffe055a33d","abstract_canon_sha256":"18a85e7035d567f669d093ee33a411d25d0732c95843a8e4615da29f24c9063d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:00:56.735018Z","signature_b64":"0OIYEdmhLeP0fI5zIh1zXjJn/VfjBSTWzwj5KhbXo48Fc047RYy4yJwt+8gWYgdae4q+xovp+d02x4x5FH7CCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"34a33857c2b43261ce21aad1fb8ab93647c624e3d71d013864b1b1e3e88a5aab","last_reissued_at":"2026-05-20T00:00:56.734203Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:00:56.734203Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Connecting categorical De Finetti theorem to linear logic exponentials characterizes total elements of !Bool","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Crubill\\'e Rapha\\\"elle","submitted_at":"2026-05-14T20:37:17Z","abstract_excerpt":"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\\`es et al, that has been instantiated in the model of probabilistic coherence spaces by Crubill\\'e 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 "},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"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. We then use this connection to give a characterization of the total elements of the probabilistic coherence space !Bool.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"Making this connection formal requires technical developments on the relationship between the category of stochastic kernels and the category of integrable cones.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Establishes a formal connection between Jacobs-Staton categorical De Finetti theorem and Melliès free exponential in linear logic, instantiated in probabilistic coherence spaces, then characterizes total elements of !Bool.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Connecting categorical De Finetti theorem to linear logic exponentials characterizes total elements of !Bool","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"9e04827a81e7f5d8150d121e2b04eb5b00cfe862a5d3b3779adf7de0706da179"},"source":{"id":"2605.15402","kind":"arxiv","version":1},"verdict":{"id":"9eec4e6e-370d-486f-8281-1468de5811f7","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-19T14:56:32.114555Z","strongest_claim":"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. We then use this connection to give a characterization of the total elements of the probabilistic coherence space !Bool.","one_line_summary":"Establishes a formal connection between Jacobs-Staton categorical De Finetti theorem and Melliès free exponential in linear logic, instantiated in probabilistic coherence spaces, then characterizes total elements of !Bool.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"Making this connection formal requires technical developments on the relationship between the category of stochastic kernels and the category of integrable cones.","pith_extraction_headline":"Connecting categorical De Finetti theorem to linear logic exponentials characterizes total elements of !Bool"},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.15402/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"cited_work_retraction","ran_at":"2026-05-19T16:23:53.811929Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"citation_quote_validity","ran_at":"2026-05-19T15:50:52.373721Z","status":"completed","version":"0.1.0","findings_count":0},{"name":"doi_title_agreement","ran_at":"2026-05-19T15:31:17.829669Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T15:11:06.858756Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"claim_evidence","ran_at":"2026-05-19T14:21:54.159651Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-19T13:33:22.716068Z","status":"skipped","version":"1.0.0","findings_count":0}],"snapshot_sha256":"18d9bba460cd4cdf5125af94e0e020d5641c75fa2d7f72e6feb8d30288b540a7"},"references":{"count":55,"sample":[{"doi":"","year":1991,"title":"Andrea Asperti and Giuseppe Longo","work_id":"3bccba03-63bb-434f-92c9-dd4fcbb17e39","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2008,"title":"The unsung de finetti’s first paper about exchangeability.Rendiconti di Matematica e delle sue applicazioni, 28:1–17, 2008","work_id":"283a3df2-7927-485d-a486-8b2b44715133","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1145/3661814.3662131","year":2024,"title":"Element-free probability distributions and ran- dom partitions","work_id":"8a060b13-0fcf-4653-a11f-8dbb1d3526f7","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1907,"title":"On convergence determining and separating classes of functions.Stochastic processes and their applications, 120(10):1898–1907, 2010","work_id":"0cb575ff-242c-4413-92dc-c48c0e1b68cb","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1017/s0960129518000488","year":2019,"title":"Disintegration and Bayesian inversion via string diagrams","work_id":"bc87ba3a-ca68-4941-9f79-ceafa6423066","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":55,"snapshot_sha256":"cf034b14ee919d3a9aef32074cdca22b9380dccecc44fdaaab382b85b5ea522f","internal_anchors":0},"formal_canon":{"evidence_count":1,"snapshot_sha256":"7d68111faa1db40e4c49c59225b8f214230c305f24ceeab8945744c58bb59138"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.15402","created_at":"2026-05-20T00:00:56.734354+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.15402v1","created_at":"2026-05-20T00:00:56.734354+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.15402","created_at":"2026-05-20T00:00:56.734354+00:00"},{"alias_kind":"pith_short_12","alias_value":"GSRTQV6CWQZG","created_at":"2026-05-20T00:00:56.734354+00:00"},{"alias_kind":"pith_short_16","alias_value":"GSRTQV6CWQZGDTRB","created_at":"2026-05-20T00:00:56.734354+00:00"},{"alias_kind":"pith_short_8","alias_value":"GSRTQV6C","created_at":"2026-05-20T00:00:56.734354+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":1,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/GSRTQV6CWQZGDTRBVLI7XCVZGZ","json":"https://pith.science/pith/GSRTQV6CWQZGDTRBVLI7XCVZGZ.json","graph_json":"https://pith.science/api/pith-number/GSRTQV6CWQZGDTRBVLI7XCVZGZ/graph.json","events_json":"https://pith.science/api/pith-number/GSRTQV6CWQZGDTRBVLI7XCVZGZ/events.json","paper":"https://pith.science/paper/GSRTQV6C"},"agent_actions":{"view_html":"https://pith.science/pith/GSRTQV6CWQZGDTRBVLI7XCVZGZ","download_json":"https://pith.science/pith/GSRTQV6CWQZGDTRBVLI7XCVZGZ.json","view_paper":"https://pith.science/paper/GSRTQV6C","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.15402&json=true","fetch_graph":"https://pith.science/api/pith-number/GSRTQV6CWQZGDTRBVLI7XCVZGZ/graph.json","fetch_events":"https://pith.science/api/pith-number/GSRTQV6CWQZGDTRBVLI7XCVZGZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GSRTQV6CWQZGDTRBVLI7XCVZGZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GSRTQV6CWQZGDTRBVLI7XCVZGZ/action/storage_attestation","attest_author":"https://pith.science/pith/GSRTQV6CWQZGDTRBVLI7XCVZGZ/action/author_attestation","sign_citation":"https://pith.science/pith/GSRTQV6CWQZGDTRBVLI7XCVZGZ/action/citation_signature","submit_replication":"https://pith.science/pith/GSRTQV6CWQZGDTRBVLI7XCVZGZ/action/replication_record"}},"created_at":"2026-05-20T00:00:56.734354+00:00","updated_at":"2026-05-20T00:00:56.734354+00:00"}