{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:R27LYZPLGEV6WRWX3AZB5YGIU7","short_pith_number":"pith:R27LYZPL","canonical_record":{"source":{"id":"1206.5848","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2012-06-25T21:28:23Z","cross_cats_sorted":["math.GN"],"title_canon_sha256":"c995e5a49344487dac234846af2fbf95ee2da518e2bb49958cd788002776b3f1","abstract_canon_sha256":"a2721fbb02394f2cc627d96eeaa9a00b6e635735d86d8cdeb644b6fc0dba58e5"},"schema_version":"1.0"},"canonical_sha256":"8ebebc65eb312beb46d7d8321ee0c8a7e6c846785675e94a1c5c622692698375","source":{"kind":"arxiv","id":"1206.5848","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.5848","created_at":"2026-05-18T02:25:10Z"},{"alias_kind":"arxiv_version","alias_value":"1206.5848v2","created_at":"2026-05-18T02:25:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.5848","created_at":"2026-05-18T02:25:10Z"},{"alias_kind":"pith_short_12","alias_value":"R27LYZPLGEV6","created_at":"2026-05-18T12:27:20Z"},{"alias_kind":"pith_short_16","alias_value":"R27LYZPLGEV6WRWX","created_at":"2026-05-18T12:27:20Z"},{"alias_kind":"pith_short_8","alias_value":"R27LYZPL","created_at":"2026-05-18T12:27:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:R27LYZPLGEV6WRWX3AZB5YGIU7","target":"record","payload":{"canonical_record":{"source":{"id":"1206.5848","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2012-06-25T21:28:23Z","cross_cats_sorted":["math.GN"],"title_canon_sha256":"c995e5a49344487dac234846af2fbf95ee2da518e2bb49958cd788002776b3f1","abstract_canon_sha256":"a2721fbb02394f2cc627d96eeaa9a00b6e635735d86d8cdeb644b6fc0dba58e5"},"schema_version":"1.0"},"canonical_sha256":"8ebebc65eb312beb46d7d8321ee0c8a7e6c846785675e94a1c5c622692698375","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:25:10.737607Z","signature_b64":"9ZNgxk92H7v9qKXg6fLuRa4hb+Yw7HRDqr7opNvXN/CdVtDMjg9r0xPlICdvT/8lSzDhqBRwQlQ6EiYZ41vNBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8ebebc65eb312beb46d7d8321ee0c8a7e6c846785675e94a1c5c622692698375","last_reissued_at":"2026-05-18T02:25:10.737087Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:25:10.737087Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1206.5848","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-18T02:25:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PVulbpjRLthgK9eZPHTbk+wXplbkO4MqrE6PyZxKF6WCQYkldch7IE/3U0Bu/Db3M4cIqOuhzSo0gcyhXY5dAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T11:33:31.532006Z"},"content_sha256":"b940d68c7f8408b246e43c6ce1de677136fd14237210a5a299ce32f550d3497c","schema_version":"1.0","event_id":"sha256:b940d68c7f8408b246e43c6ce1de677136fd14237210a5a299ce32f550d3497c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:R27LYZPLGEV6WRWX3AZB5YGIU7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A non-commutative Priestley duality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GN"],"primary_cat":"math.RA","authors_text":"Andrej Bauer, Ganna Kudryavtseva, Karin Cvetko-Vah, Mai Gehrke, Sam van Gool","submitted_at":"2012-06-25T21:28:23Z","abstract_excerpt":"We prove that the category of left-handed strongly distributive skew lattices with zero and proper homomorphisms is dually equivalent to a category of sheaves over local Priestley spaces. Our result thus provides a non-commutative version of classical Priestley duality for distributive lattices and generalizes the recent development of Stone duality for skew Boolean algebras.\n  From the point of view of skew lattices, Leech showed early on that any strongly distributive skew lattice can be embedded in the skew lattice of partial functions on some set with the operations being given by restrict"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.5848","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-18T02:25:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vBnSIwvuguSXgj0MKhbfwnd+kFzu3Bacq7qeBFOOK4MYjJRN8nigewBN5yXv5tDx3P8iiUSLRC8ZPhe/E3OjBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T11:33:31.532374Z"},"content_sha256":"9d5d7e8d40a83216036fcb70d42e87981be6cf740e9a60c0fbbc22477c123665","schema_version":"1.0","event_id":"sha256:9d5d7e8d40a83216036fcb70d42e87981be6cf740e9a60c0fbbc22477c123665"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/R27LYZPLGEV6WRWX3AZB5YGIU7/bundle.json","state_url":"https://pith.science/pith/R27LYZPLGEV6WRWX3AZB5YGIU7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/R27LYZPLGEV6WRWX3AZB5YGIU7/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-30T11:33:31Z","links":{"resolver":"https://pith.science/pith/R27LYZPLGEV6WRWX3AZB5YGIU7","bundle":"https://pith.science/pith/R27LYZPLGEV6WRWX3AZB5YGIU7/bundle.json","state":"https://pith.science/pith/R27LYZPLGEV6WRWX3AZB5YGIU7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/R27LYZPLGEV6WRWX3AZB5YGIU7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:R27LYZPLGEV6WRWX3AZB5YGIU7","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":"a2721fbb02394f2cc627d96eeaa9a00b6e635735d86d8cdeb644b6fc0dba58e5","cross_cats_sorted":["math.GN"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2012-06-25T21:28:23Z","title_canon_sha256":"c995e5a49344487dac234846af2fbf95ee2da518e2bb49958cd788002776b3f1"},"schema_version":"1.0","source":{"id":"1206.5848","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.5848","created_at":"2026-05-18T02:25:10Z"},{"alias_kind":"arxiv_version","alias_value":"1206.5848v2","created_at":"2026-05-18T02:25:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.5848","created_at":"2026-05-18T02:25:10Z"},{"alias_kind":"pith_short_12","alias_value":"R27LYZPLGEV6","created_at":"2026-05-18T12:27:20Z"},{"alias_kind":"pith_short_16","alias_value":"R27LYZPLGEV6WRWX","created_at":"2026-05-18T12:27:20Z"},{"alias_kind":"pith_short_8","alias_value":"R27LYZPL","created_at":"2026-05-18T12:27:20Z"}],"graph_snapshots":[{"event_id":"sha256:9d5d7e8d40a83216036fcb70d42e87981be6cf740e9a60c0fbbc22477c123665","target":"graph","created_at":"2026-05-18T02:25:10Z","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 prove that the category of left-handed strongly distributive skew lattices with zero and proper homomorphisms is dually equivalent to a category of sheaves over local Priestley spaces. Our result thus provides a non-commutative version of classical Priestley duality for distributive lattices and generalizes the recent development of Stone duality for skew Boolean algebras.\n  From the point of view of skew lattices, Leech showed early on that any strongly distributive skew lattice can be embedded in the skew lattice of partial functions on some set with the operations being given by restrict","authors_text":"Andrej Bauer, Ganna Kudryavtseva, Karin Cvetko-Vah, Mai Gehrke, Sam van Gool","cross_cats":["math.GN"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2012-06-25T21:28:23Z","title":"A non-commutative Priestley duality"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.5848","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:b940d68c7f8408b246e43c6ce1de677136fd14237210a5a299ce32f550d3497c","target":"record","created_at":"2026-05-18T02:25:10Z","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":"a2721fbb02394f2cc627d96eeaa9a00b6e635735d86d8cdeb644b6fc0dba58e5","cross_cats_sorted":["math.GN"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2012-06-25T21:28:23Z","title_canon_sha256":"c995e5a49344487dac234846af2fbf95ee2da518e2bb49958cd788002776b3f1"},"schema_version":"1.0","source":{"id":"1206.5848","kind":"arxiv","version":2}},"canonical_sha256":"8ebebc65eb312beb46d7d8321ee0c8a7e6c846785675e94a1c5c622692698375","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8ebebc65eb312beb46d7d8321ee0c8a7e6c846785675e94a1c5c622692698375","first_computed_at":"2026-05-18T02:25:10.737087Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:25:10.737087Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9ZNgxk92H7v9qKXg6fLuRa4hb+Yw7HRDqr7opNvXN/CdVtDMjg9r0xPlICdvT/8lSzDhqBRwQlQ6EiYZ41vNBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:25:10.737607Z","signed_message":"canonical_sha256_bytes"},"source_id":"1206.5848","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b940d68c7f8408b246e43c6ce1de677136fd14237210a5a299ce32f550d3497c","sha256:9d5d7e8d40a83216036fcb70d42e87981be6cf740e9a60c0fbbc22477c123665"],"state_sha256":"e0ef866d4bd3684a5d8db15cccd0c4acc50e883791f0d2d1fde58d6bb656fbf3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sDbY4UR2BodNOjbsQltpuZC6pzOuV/Yw3UoSdFxz5/48Lg1tQmO3Rjpz9eSoxqGrLNXjRHWA+DIvpbSZx1G+AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T11:33:31.534543Z","bundle_sha256":"f8b63750c4125b3d2aabafc7519489b2fa3a4ec666dbfbc7a1a4dd111f902e34"}}