{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:SZBV4ASWTDLRR5GKDIUJ726H7C","short_pith_number":"pith:SZBV4ASW","canonical_record":{"source":{"id":"1307.4682","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-17T15:59:12Z","cross_cats_sorted":[],"title_canon_sha256":"8d0f0a6fab15787bc0bddc2de9c50795da903d2f35e53e99e6a188493bc4692b","abstract_canon_sha256":"af6b71842f34d612cf19a43bd2cef175e43d958fa775de9b96b9022a543b030d"},"schema_version":"1.0"},"canonical_sha256":"96435e025698d718f4ca1a289febc7f8a08fa0652c65ce204636c89db555fc43","source":{"kind":"arxiv","id":"1307.4682","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.4682","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"arxiv_version","alias_value":"1307.4682v3","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.4682","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"pith_short_12","alias_value":"SZBV4ASWTDLR","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"SZBV4ASWTDLRR5GK","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"SZBV4ASW","created_at":"2026-05-18T12:27:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:SZBV4ASWTDLRR5GKDIUJ726H7C","target":"record","payload":{"canonical_record":{"source":{"id":"1307.4682","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-17T15:59:12Z","cross_cats_sorted":[],"title_canon_sha256":"8d0f0a6fab15787bc0bddc2de9c50795da903d2f35e53e99e6a188493bc4692b","abstract_canon_sha256":"af6b71842f34d612cf19a43bd2cef175e43d958fa775de9b96b9022a543b030d"},"schema_version":"1.0"},"canonical_sha256":"96435e025698d718f4ca1a289febc7f8a08fa0652c65ce204636c89db555fc43","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:38.006494Z","signature_b64":"QlCBmvYm5QPFsvBSMPsGsyT1PMTWuQ7DXIiTbVKxjs8gPpdYGgtheT3IgZ0uCDWW99H3VK2p/dtrcl3KaTT+AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"96435e025698d718f4ca1a289febc7f8a08fa0652c65ce204636c89db555fc43","last_reissued_at":"2026-05-18T01:37:38.005998Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:38.005998Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1307.4682","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-05-18T01:37:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CuJGPBdii7+heLzMum338FL9xFVhZPOm4hc7KMXtIgidel5mUkK8mYa5BzQgry/sCq/3nJLuZZHLHO+KlSKdAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T22:33:04.900251Z"},"content_sha256":"55045b64c087e957c3afb09a98db4fe8543c1982b23756f1a0a2c5b0762ea515","schema_version":"1.0","event_id":"sha256:55045b64c087e957c3afb09a98db4fe8543c1982b23756f1a0a2c5b0762ea515"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:SZBV4ASWTDLRR5GKDIUJ726H7C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Relation lifting, with an application to the many-valued cover modality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Academy of Sciences of the Czech Republic), Alexander Kurz (University of Leicester, Czech R), Czech Technical University in Prague, Daniela Petrisan (University of Leicester, Jiri Velebil (Faculty of Electrical Engineering, Marta Bilkova (Institute of Computer Science, UK)","submitted_at":"2013-07-17T15:59:12Z","abstract_excerpt":"We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the existence of a distributive law of T over the \"powerset monad\" on categories, one is the preservation by T of \"exactness\" of certain squares. Both characterisations are generalisations of the \"classical\" results known for set functors: the first characterisation generalises the existence of a distributive law over the genuine powerset monad, the second generalises p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.4682","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":""},"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-18T01:37:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SKnFphLikiYo99PIx5x5aTumqspD0kr7uRfU22BG/ElfoRcYohcBfNkG4rBZzA+yJeQCaE8oXYEEyg6vvaQTAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T22:33:04.900919Z"},"content_sha256":"44abca0c5df47197dd5f65af3c484e26c55b20671beedec2f0714ed3725dcf90","schema_version":"1.0","event_id":"sha256:44abca0c5df47197dd5f65af3c484e26c55b20671beedec2f0714ed3725dcf90"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SZBV4ASWTDLRR5GKDIUJ726H7C/bundle.json","state_url":"https://pith.science/pith/SZBV4ASWTDLRR5GKDIUJ726H7C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SZBV4ASWTDLRR5GKDIUJ726H7C/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-28T22:33:04Z","links":{"resolver":"https://pith.science/pith/SZBV4ASWTDLRR5GKDIUJ726H7C","bundle":"https://pith.science/pith/SZBV4ASWTDLRR5GKDIUJ726H7C/bundle.json","state":"https://pith.science/pith/SZBV4ASWTDLRR5GKDIUJ726H7C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SZBV4ASWTDLRR5GKDIUJ726H7C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:SZBV4ASWTDLRR5GKDIUJ726H7C","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":"af6b71842f34d612cf19a43bd2cef175e43d958fa775de9b96b9022a543b030d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-17T15:59:12Z","title_canon_sha256":"8d0f0a6fab15787bc0bddc2de9c50795da903d2f35e53e99e6a188493bc4692b"},"schema_version":"1.0","source":{"id":"1307.4682","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.4682","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"arxiv_version","alias_value":"1307.4682v3","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.4682","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"pith_short_12","alias_value":"SZBV4ASWTDLR","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"SZBV4ASWTDLRR5GK","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"SZBV4ASW","created_at":"2026-05-18T12:27:59Z"}],"graph_snapshots":[{"event_id":"sha256:44abca0c5df47197dd5f65af3c484e26c55b20671beedec2f0714ed3725dcf90","target":"graph","created_at":"2026-05-18T01:37:38Z","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":"We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the existence of a distributive law of T over the \"powerset monad\" on categories, one is the preservation by T of \"exactness\" of certain squares. Both characterisations are generalisations of the \"classical\" results known for set functors: the first characterisation generalises the existence of a distributive law over the genuine powerset monad, the second generalises p","authors_text":"Academy of Sciences of the Czech Republic), Alexander Kurz (University of Leicester, Czech R), Czech Technical University in Prague, Daniela Petrisan (University of Leicester, Jiri Velebil (Faculty of Electrical Engineering, Marta Bilkova (Institute of Computer Science, UK)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-17T15:59:12Z","title":"Relation lifting, with an application to the many-valued cover modality"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.4682","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:55045b64c087e957c3afb09a98db4fe8543c1982b23756f1a0a2c5b0762ea515","target":"record","created_at":"2026-05-18T01:37:38Z","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":"af6b71842f34d612cf19a43bd2cef175e43d958fa775de9b96b9022a543b030d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-17T15:59:12Z","title_canon_sha256":"8d0f0a6fab15787bc0bddc2de9c50795da903d2f35e53e99e6a188493bc4692b"},"schema_version":"1.0","source":{"id":"1307.4682","kind":"arxiv","version":3}},"canonical_sha256":"96435e025698d718f4ca1a289febc7f8a08fa0652c65ce204636c89db555fc43","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"96435e025698d718f4ca1a289febc7f8a08fa0652c65ce204636c89db555fc43","first_computed_at":"2026-05-18T01:37:38.005998Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:38.005998Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QlCBmvYm5QPFsvBSMPsGsyT1PMTWuQ7DXIiTbVKxjs8gPpdYGgtheT3IgZ0uCDWW99H3VK2p/dtrcl3KaTT+AA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:38.006494Z","signed_message":"canonical_sha256_bytes"},"source_id":"1307.4682","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:55045b64c087e957c3afb09a98db4fe8543c1982b23756f1a0a2c5b0762ea515","sha256:44abca0c5df47197dd5f65af3c484e26c55b20671beedec2f0714ed3725dcf90"],"state_sha256":"4c4332cffb7a39291080613c27e2b2e1d1047e48c974701c729fccc21d60eaab"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gv4mvmOtfiIfqIssnXy6deI5GCmqodeZtv24Ta0STzVvqvh8FDGUiws0xJXxIkEySfVMvvFTtLCTfZfIgfp9BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T22:33:04.904529Z","bundle_sha256":"ab6094a9d991ac0d1d15cb1eb76e023fefb08bc6cd31867b596a7f56ac338c1c"}}