{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:R6ZT3JTZIBKDMSICA4W7J7O2GO","short_pith_number":"pith:R6ZT3JTZ","schema_version":"1.0","canonical_sha256":"8fb33da6794054364902072df4fdda33a90298dba1485d302228583837243c64","source":{"kind":"arxiv","id":"1303.1115","version":8},"attestation_state":"computed","paper":{"title":"From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.CT","authors_text":"Bart P. F. Jacobs (Radboud University Nijmegen), Robert W. J. Furber (Radboud University Nijmegen)","submitted_at":"2013-03-05T17:44:20Z","abstract_excerpt":"C*-algebras form rather general and rich mathematical structures that can be studied with different morphisms (preserving multiplication, or not), and with different properties (commutative, or not). These various options can be used to incorporate various styles of computation (set-theoretic, probabilistic, quantum) inside categories of C*-algebras. At first, this paper concentrates on the commutative case and shows that there are functors from several Kleisli categories, of monads that are relevant to model probabilistic computations, to categories of C*-algebras. This yields a new probabili"},"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":"1303.1115","kind":"arxiv","version":8},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2013-03-05T17:44:20Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"bf40842e279aa0d52658f063b243170a43799f6fb873b9ce9082f2e63a26b330","abstract_canon_sha256":"5ed1814d18ddc25c21da9c4baee3361fd3dff0abb3887f9daf93135e5cec034b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:11.185912Z","signature_b64":"l9tIjAmF7Zg+6ij59NimDEHhup6bp02556LVyuVSroi7WVcanj0/VwQuuijEk0uiacD3+Wyq0vabTvhEA/boDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8fb33da6794054364902072df4fdda33a90298dba1485d302228583837243c64","last_reissued_at":"2026-05-18T00:53:11.185344Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:11.185344Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.CT","authors_text":"Bart P. F. Jacobs (Radboud University Nijmegen), Robert W. J. Furber (Radboud University Nijmegen)","submitted_at":"2013-03-05T17:44:20Z","abstract_excerpt":"C*-algebras form rather general and rich mathematical structures that can be studied with different morphisms (preserving multiplication, or not), and with different properties (commutative, or not). These various options can be used to incorporate various styles of computation (set-theoretic, probabilistic, quantum) inside categories of C*-algebras. At first, this paper concentrates on the commutative case and shows that there are functors from several Kleisli categories, of monads that are relevant to model probabilistic computations, to categories of C*-algebras. This yields a new probabili"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.1115","kind":"arxiv","version":8},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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":"1303.1115","created_at":"2026-05-18T00:53:11.185433+00:00"},{"alias_kind":"arxiv_version","alias_value":"1303.1115v8","created_at":"2026-05-18T00:53:11.185433+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.1115","created_at":"2026-05-18T00:53:11.185433+00:00"},{"alias_kind":"pith_short_12","alias_value":"R6ZT3JTZIBKD","created_at":"2026-05-18T12:27:57.521954+00:00"},{"alias_kind":"pith_short_16","alias_value":"R6ZT3JTZIBKDMSIC","created_at":"2026-05-18T12:27:57.521954+00:00"},{"alias_kind":"pith_short_8","alias_value":"R6ZT3JTZ","created_at":"2026-05-18T12:27:57.521954+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"1908.07021","citing_title":"A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics","ref_index":47,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/R6ZT3JTZIBKDMSICA4W7J7O2GO","json":"https://pith.science/pith/R6ZT3JTZIBKDMSICA4W7J7O2GO.json","graph_json":"https://pith.science/api/pith-number/R6ZT3JTZIBKDMSICA4W7J7O2GO/graph.json","events_json":"https://pith.science/api/pith-number/R6ZT3JTZIBKDMSICA4W7J7O2GO/events.json","paper":"https://pith.science/paper/R6ZT3JTZ"},"agent_actions":{"view_html":"https://pith.science/pith/R6ZT3JTZIBKDMSICA4W7J7O2GO","download_json":"https://pith.science/pith/R6ZT3JTZIBKDMSICA4W7J7O2GO.json","view_paper":"https://pith.science/paper/R6ZT3JTZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1303.1115&json=true","fetch_graph":"https://pith.science/api/pith-number/R6ZT3JTZIBKDMSICA4W7J7O2GO/graph.json","fetch_events":"https://pith.science/api/pith-number/R6ZT3JTZIBKDMSICA4W7J7O2GO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/R6ZT3JTZIBKDMSICA4W7J7O2GO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/R6ZT3JTZIBKDMSICA4W7J7O2GO/action/storage_attestation","attest_author":"https://pith.science/pith/R6ZT3JTZIBKDMSICA4W7J7O2GO/action/author_attestation","sign_citation":"https://pith.science/pith/R6ZT3JTZIBKDMSICA4W7J7O2GO/action/citation_signature","submit_replication":"https://pith.science/pith/R6ZT3JTZIBKDMSICA4W7J7O2GO/action/replication_record"}},"created_at":"2026-05-18T00:53:11.185433+00:00","updated_at":"2026-05-18T00:53:11.185433+00:00"}