{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:JP5UUCGCFTXGGSKWGSUXPZYK5V","short_pith_number":"pith:JP5UUCGC","canonical_record":{"source":{"id":"1705.05650","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-16T11:29:33Z","cross_cats_sorted":[],"title_canon_sha256":"e600398a69851236949bf93975afcf06638eb8275c83274de4ad1774445e6c6c","abstract_canon_sha256":"5dd64d77ee6d86d9a71501e3b6b9af33c20f118c8c8db42bc4e89f052500da00"},"schema_version":"1.0"},"canonical_sha256":"4bfb4a08c22cee63495634a977e70aed6e00eb8e250fc96b42ee628c86c7f289","source":{"kind":"arxiv","id":"1705.05650","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.05650","created_at":"2026-05-18T00:44:20Z"},{"alias_kind":"arxiv_version","alias_value":"1705.05650v1","created_at":"2026-05-18T00:44:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.05650","created_at":"2026-05-18T00:44:20Z"},{"alias_kind":"pith_short_12","alias_value":"JP5UUCGCFTXG","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JP5UUCGCFTXGGSKW","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JP5UUCGC","created_at":"2026-05-18T12:31:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:JP5UUCGCFTXGGSKWGSUXPZYK5V","target":"record","payload":{"canonical_record":{"source":{"id":"1705.05650","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-16T11:29:33Z","cross_cats_sorted":[],"title_canon_sha256":"e600398a69851236949bf93975afcf06638eb8275c83274de4ad1774445e6c6c","abstract_canon_sha256":"5dd64d77ee6d86d9a71501e3b6b9af33c20f118c8c8db42bc4e89f052500da00"},"schema_version":"1.0"},"canonical_sha256":"4bfb4a08c22cee63495634a977e70aed6e00eb8e250fc96b42ee628c86c7f289","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:20.559745Z","signature_b64":"XNJ5kTwB2TbNgWgT5hPfEVmCsXENOixt508eeNwox1/wYaS7GArbdjOW7TyzwgGG0SElWD7r2DgttCVIJ0TAAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4bfb4a08c22cee63495634a977e70aed6e00eb8e250fc96b42ee628c86c7f289","last_reissued_at":"2026-05-18T00:44:20.559176Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:20.559176Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.05650","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:44:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EDbo4nJGzUTYpwqvUvfPgxLG2cDX+IUHoeComWuIQ3o6BHjCLaBkGS4Y172fOAdjbdJI31UHUkuTULJimmzUBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T03:02:05.528002Z"},"content_sha256":"1aa9535bb5af37291846d0bf06610e2a59b29036a3735b5641c1382512a1e436","schema_version":"1.0","event_id":"sha256:1aa9535bb5af37291846d0bf06610e2a59b29036a3735b5641c1382512a1e436"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:JP5UUCGCFTXGGSKWGSUXPZYK5V","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Georg Struth, Hitoshi Furusawa, Norihiro Tsumagari, Yasuo Kawahara","submitted_at":"2017-05-16T11:29:33Z","abstract_excerpt":"Multirelations provide a semantic domain for computing systems that involve two dual kinds of nondeterminism. This paper presents relational formalisations of Kleisli, Parikh and Peleg compositions and liftings of multirelations. These liftings are similar to those that arise in the Kleisli category of the powerset monad. We show that Kleisli composition of multirelations is associative, but need not have units. Parikh composition may neither be associative nor have units, but yields a category on the subclass of up-closed multirelations. Finally, Peleg composition has units, but need not be a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.05650","kind":"arxiv","version":1},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:44:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3jI9JDm5KQGfn8Y7GElvZLeFnqHHX9pPlWig4+CRYSF25IJnrwZwx727YS52xx0WBU/pvCVcj2KgD4fMLH9eDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T03:02:05.528366Z"},"content_sha256":"222261f53707ab864c3d8eabebd9f68354ed92ea68349cb3a4774efa1ff3a4d6","schema_version":"1.0","event_id":"sha256:222261f53707ab864c3d8eabebd9f68354ed92ea68349cb3a4774efa1ff3a4d6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JP5UUCGCFTXGGSKWGSUXPZYK5V/bundle.json","state_url":"https://pith.science/pith/JP5UUCGCFTXGGSKWGSUXPZYK5V/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JP5UUCGCFTXGGSKWGSUXPZYK5V/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-22T03:02:05Z","links":{"resolver":"https://pith.science/pith/JP5UUCGCFTXGGSKWGSUXPZYK5V","bundle":"https://pith.science/pith/JP5UUCGCFTXGGSKWGSUXPZYK5V/bundle.json","state":"https://pith.science/pith/JP5UUCGCFTXGGSKWGSUXPZYK5V/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JP5UUCGCFTXGGSKWGSUXPZYK5V/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:JP5UUCGCFTXGGSKWGSUXPZYK5V","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"5dd64d77ee6d86d9a71501e3b6b9af33c20f118c8c8db42bc4e89f052500da00","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-16T11:29:33Z","title_canon_sha256":"e600398a69851236949bf93975afcf06638eb8275c83274de4ad1774445e6c6c"},"schema_version":"1.0","source":{"id":"1705.05650","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.05650","created_at":"2026-05-18T00:44:20Z"},{"alias_kind":"arxiv_version","alias_value":"1705.05650v1","created_at":"2026-05-18T00:44:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.05650","created_at":"2026-05-18T00:44:20Z"},{"alias_kind":"pith_short_12","alias_value":"JP5UUCGCFTXG","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JP5UUCGCFTXGGSKW","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JP5UUCGC","created_at":"2026-05-18T12:31:24Z"}],"graph_snapshots":[{"event_id":"sha256:222261f53707ab864c3d8eabebd9f68354ed92ea68349cb3a4774efa1ff3a4d6","target":"graph","created_at":"2026-05-18T00:44:20Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Multirelations provide a semantic domain for computing systems that involve two dual kinds of nondeterminism. This paper presents relational formalisations of Kleisli, Parikh and Peleg compositions and liftings of multirelations. These liftings are similar to those that arise in the Kleisli category of the powerset monad. We show that Kleisli composition of multirelations is associative, but need not have units. Parikh composition may neither be associative nor have units, but yields a category on the subclass of up-closed multirelations. Finally, Peleg composition has units, but need not be a","authors_text":"Georg Struth, Hitoshi Furusawa, Norihiro Tsumagari, Yasuo Kawahara","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-16T11:29:33Z","title":"Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.05650","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:1aa9535bb5af37291846d0bf06610e2a59b29036a3735b5641c1382512a1e436","target":"record","created_at":"2026-05-18T00:44:20Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"5dd64d77ee6d86d9a71501e3b6b9af33c20f118c8c8db42bc4e89f052500da00","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-16T11:29:33Z","title_canon_sha256":"e600398a69851236949bf93975afcf06638eb8275c83274de4ad1774445e6c6c"},"schema_version":"1.0","source":{"id":"1705.05650","kind":"arxiv","version":1}},"canonical_sha256":"4bfb4a08c22cee63495634a977e70aed6e00eb8e250fc96b42ee628c86c7f289","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4bfb4a08c22cee63495634a977e70aed6e00eb8e250fc96b42ee628c86c7f289","first_computed_at":"2026-05-18T00:44:20.559176Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:20.559176Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XNJ5kTwB2TbNgWgT5hPfEVmCsXENOixt508eeNwox1/wYaS7GArbdjOW7TyzwgGG0SElWD7r2DgttCVIJ0TAAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:20.559745Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.05650","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1aa9535bb5af37291846d0bf06610e2a59b29036a3735b5641c1382512a1e436","sha256:222261f53707ab864c3d8eabebd9f68354ed92ea68349cb3a4774efa1ff3a4d6"],"state_sha256":"5f0a0bd444efb214662b4dcd69856bf2c784f92b868c77c478eee6d5da73227d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nGW34Y7m7e4SUdXeIiU0IXC2yJ4e5TDxZm3mXhSNSBfy/aieCjaVfRcqxwBHC/ToXwXFjyR6GWIYQc5ro0h3BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T03:02:05.530299Z","bundle_sha256":"9884bf8eca31ebf988fde80406a725c23583a9eae4cd2fae1890222d3623feeb"}}