{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:JSCBQTP5WE3JHWACN5QKKPVVEV","short_pith_number":"pith:JSCBQTP5","canonical_record":{"source":{"id":"2304.11014","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-04-21T15:01:25Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"83a681042a8116c8606f83588719d5ffbe3b08dec39a0c5989d9dd2a3df4684e","abstract_canon_sha256":"ce88e566d7c16b69fea2ba9a777291295197d3ce349a2b7496842ce445d05843"},"schema_version":"1.0"},"canonical_sha256":"4c84184dfdb13693d8026f60a53eb5257859b5a6efc1137cb80c88d4039cca1a","source":{"kind":"arxiv","id":"2304.11014","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.11014","created_at":"2026-07-05T08:30:02Z"},{"alias_kind":"arxiv_version","alias_value":"2304.11014v3","created_at":"2026-07-05T08:30:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.11014","created_at":"2026-07-05T08:30:02Z"},{"alias_kind":"pith_short_12","alias_value":"JSCBQTP5WE3J","created_at":"2026-07-05T08:30:02Z"},{"alias_kind":"pith_short_16","alias_value":"JSCBQTP5WE3JHWAC","created_at":"2026-07-05T08:30:02Z"},{"alias_kind":"pith_short_8","alias_value":"JSCBQTP5","created_at":"2026-07-05T08:30:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:JSCBQTP5WE3JHWACN5QKKPVVEV","target":"record","payload":{"canonical_record":{"source":{"id":"2304.11014","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-04-21T15:01:25Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"83a681042a8116c8606f83588719d5ffbe3b08dec39a0c5989d9dd2a3df4684e","abstract_canon_sha256":"ce88e566d7c16b69fea2ba9a777291295197d3ce349a2b7496842ce445d05843"},"schema_version":"1.0"},"canonical_sha256":"4c84184dfdb13693d8026f60a53eb5257859b5a6efc1137cb80c88d4039cca1a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:30:02.533453Z","signature_b64":"7Khlp2AOZiYFQBcPnzFAjSyU/LXcsCLsIDBCflsD9B3PXBpQpYzcCgtpsCVniA6emgr+6p6uX7PaShzk1v08CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4c84184dfdb13693d8026f60a53eb5257859b5a6efc1137cb80c88d4039cca1a","last_reissued_at":"2026-07-05T08:30:02.532912Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:30:02.532912Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2304.11014","source_version":3,"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-07-05T08:30:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KGC3Oa8EnM2Wnhr1PJrwliNOdQaLDb8SpGi/0acPCXo26InWO3J4Jh8dspGzHzNMnMJk1s8W+ZoJho2UeMTxBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T06:05:44.240766Z"},"content_sha256":"3479153f72bd4824a366d6a8c1bb979ab9992d6345ee443b73c6c1ecc38c9b5b","schema_version":"1.0","event_id":"sha256:3479153f72bd4824a366d6a8c1bb979ab9992d6345ee443b73c6c1ecc38c9b5b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:JSCBQTP5WE3JHWACN5QKKPVVEV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Effectful Semantics in Bicategories: Strong, Commutative, and Concurrent Pseudomonads","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"cs.LO","authors_text":"Hugo Paquet, Philip Saville","submitted_at":"2023-04-21T15:01:25Z","abstract_excerpt":"We develop the theory of strong and commutative monads in the 2-dimensional setting of bicategories. This provides a framework for the analysis of effects in many recent models which form bicategories and not categories, such as those based on profunctors, spans, or strategies over games.\n  We then show how the 2-dimensional setting provides new insights into the semantics of concurrent functional programs. We introduce concurrent pseudomonads, which capture the fundamental weak interchange law connecting parallel composition and sequential composition. This notion brings to light an intermedi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.11014","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/2304.11014/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"},"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-07-05T08:30:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8hc/nrTAwWrfDwBx6WTjsNwodRtlLJOANElz1WFhsZWvnqz3OVY23IP1IeDromZVlqpTu1XqKEIWw4/0IgbhBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T06:05:44.241264Z"},"content_sha256":"a75b87d193ab660eab7780249219f5dacd3df737c32878c31352a14fd39b2de2","schema_version":"1.0","event_id":"sha256:a75b87d193ab660eab7780249219f5dacd3df737c32878c31352a14fd39b2de2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JSCBQTP5WE3JHWACN5QKKPVVEV/bundle.json","state_url":"https://pith.science/pith/JSCBQTP5WE3JHWACN5QKKPVVEV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JSCBQTP5WE3JHWACN5QKKPVVEV/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-08-15T06:05:44Z","links":{"resolver":"https://pith.science/pith/JSCBQTP5WE3JHWACN5QKKPVVEV","bundle":"https://pith.science/pith/JSCBQTP5WE3JHWACN5QKKPVVEV/bundle.json","state":"https://pith.science/pith/JSCBQTP5WE3JHWACN5QKKPVVEV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JSCBQTP5WE3JHWACN5QKKPVVEV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:JSCBQTP5WE3JHWACN5QKKPVVEV","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":"ce88e566d7c16b69fea2ba9a777291295197d3ce349a2b7496842ce445d05843","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-04-21T15:01:25Z","title_canon_sha256":"83a681042a8116c8606f83588719d5ffbe3b08dec39a0c5989d9dd2a3df4684e"},"schema_version":"1.0","source":{"id":"2304.11014","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.11014","created_at":"2026-07-05T08:30:02Z"},{"alias_kind":"arxiv_version","alias_value":"2304.11014v3","created_at":"2026-07-05T08:30:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.11014","created_at":"2026-07-05T08:30:02Z"},{"alias_kind":"pith_short_12","alias_value":"JSCBQTP5WE3J","created_at":"2026-07-05T08:30:02Z"},{"alias_kind":"pith_short_16","alias_value":"JSCBQTP5WE3JHWAC","created_at":"2026-07-05T08:30:02Z"},{"alias_kind":"pith_short_8","alias_value":"JSCBQTP5","created_at":"2026-07-05T08:30:02Z"}],"graph_snapshots":[{"event_id":"sha256:a75b87d193ab660eab7780249219f5dacd3df737c32878c31352a14fd39b2de2","target":"graph","created_at":"2026-07-05T08:30:02Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2304.11014/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We develop the theory of strong and commutative monads in the 2-dimensional setting of bicategories. This provides a framework for the analysis of effects in many recent models which form bicategories and not categories, such as those based on profunctors, spans, or strategies over games.\n  We then show how the 2-dimensional setting provides new insights into the semantics of concurrent functional programs. We introduce concurrent pseudomonads, which capture the fundamental weak interchange law connecting parallel composition and sequential composition. This notion brings to light an intermedi","authors_text":"Hugo Paquet, Philip Saville","cross_cats":["math.CT"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-04-21T15:01:25Z","title":"Effectful Semantics in Bicategories: Strong, Commutative, and Concurrent Pseudomonads"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.11014","kind":"arxiv","version":3},"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:3479153f72bd4824a366d6a8c1bb979ab9992d6345ee443b73c6c1ecc38c9b5b","target":"record","created_at":"2026-07-05T08:30:02Z","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":"ce88e566d7c16b69fea2ba9a777291295197d3ce349a2b7496842ce445d05843","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-04-21T15:01:25Z","title_canon_sha256":"83a681042a8116c8606f83588719d5ffbe3b08dec39a0c5989d9dd2a3df4684e"},"schema_version":"1.0","source":{"id":"2304.11014","kind":"arxiv","version":3}},"canonical_sha256":"4c84184dfdb13693d8026f60a53eb5257859b5a6efc1137cb80c88d4039cca1a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4c84184dfdb13693d8026f60a53eb5257859b5a6efc1137cb80c88d4039cca1a","first_computed_at":"2026-07-05T08:30:02.532912Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:30:02.532912Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7Khlp2AOZiYFQBcPnzFAjSyU/LXcsCLsIDBCflsD9B3PXBpQpYzcCgtpsCVniA6emgr+6p6uX7PaShzk1v08CQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:30:02.533453Z","signed_message":"canonical_sha256_bytes"},"source_id":"2304.11014","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3479153f72bd4824a366d6a8c1bb979ab9992d6345ee443b73c6c1ecc38c9b5b","sha256:a75b87d193ab660eab7780249219f5dacd3df737c32878c31352a14fd39b2de2"],"state_sha256":"144be3e6729f4f94f0a25e8ce86939b3609541eabc9771f765bb51668b8be2b3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0YDv79c+3WLBO9T3XGlq5Ivjg8cSANKZ7AKo31SgmxeM7q/DCjZIrAn2HWJJE+MERWL/bbcR4L453puzOiuhAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T06:05:44.246168Z","bundle_sha256":"d80d047557f19be04e9712da099cd37774ea9cee5a4e3d03e47ab3d82a4d2361"}}