{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:Y72XHNOW6FPYWPH34EBYXD46AD","short_pith_number":"pith:Y72XHNOW","canonical_record":{"source":{"id":"1811.06460","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2018-11-15T16:44:28Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e58753be3cd91fa5eecf0fdbb90310cf4dd94eadb015f8d68ef38adaf29e8541","abstract_canon_sha256":"84737bffb8c417f6e8d3290df01be79fae01f95e616bb62fec6081c116570ea6"},"schema_version":"1.0"},"canonical_sha256":"c7f573b5d6f15f8b3cfbe1038b8f9e00e25175bbe944066062c6403bc0268a22","source":{"kind":"arxiv","id":"1811.06460","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.06460","created_at":"2026-05-17T23:58:22Z"},{"alias_kind":"arxiv_version","alias_value":"1811.06460v2","created_at":"2026-05-17T23:58:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.06460","created_at":"2026-05-17T23:58:22Z"},{"alias_kind":"pith_short_12","alias_value":"Y72XHNOW6FPY","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"Y72XHNOW6FPYWPH3","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"Y72XHNOW","created_at":"2026-05-18T12:33:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:Y72XHNOW6FPYWPH34EBYXD46AD","target":"record","payload":{"canonical_record":{"source":{"id":"1811.06460","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2018-11-15T16:44:28Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e58753be3cd91fa5eecf0fdbb90310cf4dd94eadb015f8d68ef38adaf29e8541","abstract_canon_sha256":"84737bffb8c417f6e8d3290df01be79fae01f95e616bb62fec6081c116570ea6"},"schema_version":"1.0"},"canonical_sha256":"c7f573b5d6f15f8b3cfbe1038b8f9e00e25175bbe944066062c6403bc0268a22","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:58:22.701956Z","signature_b64":"hG82+8IEYe5AvuOon1WfxoZgBiDxPY54xi4L4TQ97+BETPh+EYZnEMSabiPBfljQ9NIOVkdWTw5BQKz2xc+oBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c7f573b5d6f15f8b3cfbe1038b8f9e00e25175bbe944066062c6403bc0268a22","last_reissued_at":"2026-05-17T23:58:22.701151Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:58:22.701151Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.06460","source_version":2,"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-17T23:58:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NJVA0e8UWFu4L42hGiX/BRYX59u6vNyGYqvdtrtdhrphTGSoMEaUQy/ATu3xjFr74uw21AzUDgqqRQz0ZAYsAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T13:03:05.540065Z"},"content_sha256":"4821a8bfde5a4d8f3234228a62e5c022670263cca035a21b0b776cc434d29fc0","schema_version":"1.0","event_id":"sha256:4821a8bfde5a4d8f3234228a62e5c022670263cca035a21b0b776cc434d29fc0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:Y72XHNOW6FPYWPH34EBYXD46AD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Don't Try This at Home: No-Go Theorems for Distributive Laws","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.CT","authors_text":"Dan Marsden, Maaike Zwart","submitted_at":"2018-11-15T16:44:28Z","abstract_excerpt":"Beck's distributive laws provide sufficient conditions under which two monads can be composed, and monads arising from distributive laws have many desirable theoretical properties. Unfortunately, finding and verifying distributive laws, or establishing if one even exists, can be extremely difficult and error-prone.\n  We develop general-purpose techniques for showing when there can be no distributive law between two monads. Two approaches are presented. The first widely generalizes ideas from a counterexample attributed to Plotkin, yielding general-purpose theorems that recover the previously k"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.06460","kind":"arxiv","version":2},"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-17T23:58:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Sgd823QYobliUyQAUHE/oZEqvBK0QivCKlFsOx39rtjzdShy+nMUUKiBaZu2M7xusIVL4BafW75NylYWhun1Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T13:03:05.540644Z"},"content_sha256":"cd0390f9826c0e6f3fdaddd8d598617427a56bc534e77c5dbf89f9c16c3ea956","schema_version":"1.0","event_id":"sha256:cd0390f9826c0e6f3fdaddd8d598617427a56bc534e77c5dbf89f9c16c3ea956"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Y72XHNOW6FPYWPH34EBYXD46AD/bundle.json","state_url":"https://pith.science/pith/Y72XHNOW6FPYWPH34EBYXD46AD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Y72XHNOW6FPYWPH34EBYXD46AD/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-05-27T13:03:05Z","links":{"resolver":"https://pith.science/pith/Y72XHNOW6FPYWPH34EBYXD46AD","bundle":"https://pith.science/pith/Y72XHNOW6FPYWPH34EBYXD46AD/bundle.json","state":"https://pith.science/pith/Y72XHNOW6FPYWPH34EBYXD46AD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Y72XHNOW6FPYWPH34EBYXD46AD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:Y72XHNOW6FPYWPH34EBYXD46AD","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":"84737bffb8c417f6e8d3290df01be79fae01f95e616bb62fec6081c116570ea6","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2018-11-15T16:44:28Z","title_canon_sha256":"e58753be3cd91fa5eecf0fdbb90310cf4dd94eadb015f8d68ef38adaf29e8541"},"schema_version":"1.0","source":{"id":"1811.06460","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.06460","created_at":"2026-05-17T23:58:22Z"},{"alias_kind":"arxiv_version","alias_value":"1811.06460v2","created_at":"2026-05-17T23:58:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.06460","created_at":"2026-05-17T23:58:22Z"},{"alias_kind":"pith_short_12","alias_value":"Y72XHNOW6FPY","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"Y72XHNOW6FPYWPH3","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"Y72XHNOW","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:cd0390f9826c0e6f3fdaddd8d598617427a56bc534e77c5dbf89f9c16c3ea956","target":"graph","created_at":"2026-05-17T23:58:22Z","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":"Beck's distributive laws provide sufficient conditions under which two monads can be composed, and monads arising from distributive laws have many desirable theoretical properties. Unfortunately, finding and verifying distributive laws, or establishing if one even exists, can be extremely difficult and error-prone.\n  We develop general-purpose techniques for showing when there can be no distributive law between two monads. Two approaches are presented. The first widely generalizes ideas from a counterexample attributed to Plotkin, yielding general-purpose theorems that recover the previously k","authors_text":"Dan Marsden, Maaike Zwart","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2018-11-15T16:44:28Z","title":"Don't Try This at Home: No-Go Theorems for Distributive Laws"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.06460","kind":"arxiv","version":2},"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:4821a8bfde5a4d8f3234228a62e5c022670263cca035a21b0b776cc434d29fc0","target":"record","created_at":"2026-05-17T23:58:22Z","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":"84737bffb8c417f6e8d3290df01be79fae01f95e616bb62fec6081c116570ea6","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2018-11-15T16:44:28Z","title_canon_sha256":"e58753be3cd91fa5eecf0fdbb90310cf4dd94eadb015f8d68ef38adaf29e8541"},"schema_version":"1.0","source":{"id":"1811.06460","kind":"arxiv","version":2}},"canonical_sha256":"c7f573b5d6f15f8b3cfbe1038b8f9e00e25175bbe944066062c6403bc0268a22","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c7f573b5d6f15f8b3cfbe1038b8f9e00e25175bbe944066062c6403bc0268a22","first_computed_at":"2026-05-17T23:58:22.701151Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:58:22.701151Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hG82+8IEYe5AvuOon1WfxoZgBiDxPY54xi4L4TQ97+BETPh+EYZnEMSabiPBfljQ9NIOVkdWTw5BQKz2xc+oBQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:58:22.701956Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.06460","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4821a8bfde5a4d8f3234228a62e5c022670263cca035a21b0b776cc434d29fc0","sha256:cd0390f9826c0e6f3fdaddd8d598617427a56bc534e77c5dbf89f9c16c3ea956"],"state_sha256":"2d399360621da3953aeb46108f0aaffdf5ada5ba835aecace8970780e4a2e5e7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vhUhHdnl2YiG+xnVTJTQSbd0WU+dG8nvUairixX3zpjz8MoKbt+ft+FUEKrFkHnzeZM02W/NhFo0vWdUgewTDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T13:03:05.543598Z","bundle_sha256":"00f7671611570860546aa0309b27802582536298ac9dd15f57a0eccf1d93c069"}}