{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:VTSS4R555VTHSRHNP7GXZQ7NH3","short_pith_number":"pith:VTSS4R55","schema_version":"1.0","canonical_sha256":"ace52e47bded667944ed7fcd7cc3ed3ec295afe6920e1b3c6cdc38361fda7ad3","source":{"kind":"arxiv","id":"1709.00322","version":3},"attestation_state":"computed","paper":{"title":"Disintegration and Bayesian Inversion via String Diagrams","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Bart Jacobs, Kenta Cho","submitted_at":"2017-08-29T13:01:07Z","abstract_excerpt":"The notions of disintegration and Bayesian inversion are fundamental in conditional probability theory. They produce channels, as conditional probabilities, from a joint state, or from an already given channel (in opposite direction). These notions exist in the literature, in concrete situations, but are presented here in abstract graphical formulations. The resulting abstract descriptions are used for proving basic results in conditional probability theory. The existence of disintegration and Bayesian inversion is discussed for discrete probability, and also for measure-theoretic probability "},"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":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1709.00322","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-08-29T13:01:07Z","cross_cats_sorted":[],"title_canon_sha256":"0750ea42038e9310855656582dab84660010fc7b6871ed7b7dc675d83bbd2bb7","abstract_canon_sha256":"37b83664b45e56df821e07b0b66c6fd7443ceefcf653808d1d7d90e5111becea"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T23:50:33.429124Z","signature_b64":"dxDul6HavEzbuydihTpfkZCytmiOivt+zkR1LGqdHWXcG9R9W1LtiPYDqJrxsoaOW9QjHNFlauyxdxhil3C0Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ace52e47bded667944ed7fcd7cc3ed3ec295afe6920e1b3c6cdc38361fda7ad3","last_reissued_at":"2026-07-04T23:50:33.428681Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T23:50:33.428681Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Disintegration and Bayesian Inversion via String Diagrams","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Bart Jacobs, Kenta Cho","submitted_at":"2017-08-29T13:01:07Z","abstract_excerpt":"The notions of disintegration and Bayesian inversion are fundamental in conditional probability theory. They produce channels, as conditional probabilities, from a joint state, or from an already given channel (in opposite direction). These notions exist in the literature, in concrete situations, but are presented here in abstract graphical formulations. The resulting abstract descriptions are used for proving basic results in conditional probability theory. The existence of disintegration and Bayesian inversion is discussed for discrete probability, and also for measure-theoretic probability "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.00322","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1709.00322/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"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":"1709.00322","created_at":"2026-07-04T23:50:33.428756+00:00"},{"alias_kind":"arxiv_version","alias_value":"1709.00322v3","created_at":"2026-07-04T23:50:33.428756+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.00322","created_at":"2026-07-04T23:50:33.428756+00:00"},{"alias_kind":"pith_short_12","alias_value":"VTSS4R555VTH","created_at":"2026-07-04T23:50:33.428756+00:00"},{"alias_kind":"pith_short_16","alias_value":"VTSS4R555VTHSRHN","created_at":"2026-07-04T23:50:33.428756+00:00"},{"alias_kind":"pith_short_8","alias_value":"VTSS4R55","created_at":"2026-07-04T23:50:33.428756+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/VTSS4R555VTHSRHNP7GXZQ7NH3","json":"https://pith.science/pith/VTSS4R555VTHSRHNP7GXZQ7NH3.json","graph_json":"https://pith.science/api/pith-number/VTSS4R555VTHSRHNP7GXZQ7NH3/graph.json","events_json":"https://pith.science/api/pith-number/VTSS4R555VTHSRHNP7GXZQ7NH3/events.json","paper":"https://pith.science/paper/VTSS4R55"},"agent_actions":{"view_html":"https://pith.science/pith/VTSS4R555VTHSRHNP7GXZQ7NH3","download_json":"https://pith.science/pith/VTSS4R555VTHSRHNP7GXZQ7NH3.json","view_paper":"https://pith.science/paper/VTSS4R55","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1709.00322&json=true","fetch_graph":"https://pith.science/api/pith-number/VTSS4R555VTHSRHNP7GXZQ7NH3/graph.json","fetch_events":"https://pith.science/api/pith-number/VTSS4R555VTHSRHNP7GXZQ7NH3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VTSS4R555VTHSRHNP7GXZQ7NH3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VTSS4R555VTHSRHNP7GXZQ7NH3/action/storage_attestation","attest_author":"https://pith.science/pith/VTSS4R555VTHSRHNP7GXZQ7NH3/action/author_attestation","sign_citation":"https://pith.science/pith/VTSS4R555VTHSRHNP7GXZQ7NH3/action/citation_signature","submit_replication":"https://pith.science/pith/VTSS4R555VTHSRHNP7GXZQ7NH3/action/replication_record"}},"created_at":"2026-07-04T23:50:33.428756+00:00","updated_at":"2026-07-04T23:50:33.428756+00:00"}