{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:S3PFO5KMCMAWEUMZ5WUIIKJWDP","short_pith_number":"pith:S3PFO5KM","canonical_record":{"source":{"id":"1408.1072","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-08-05T19:12:26Z","cross_cats_sorted":[],"title_canon_sha256":"d6796f6b8fad892442d6e335cd191615e87f68863a697680c0bb751934e6974c","abstract_canon_sha256":"5778984c8b1c71c33c93f9d82a379358a7b6478eda2b3018b1479e42a4d82379"},"schema_version":"1.0"},"canonical_sha256":"96de57754c1301625199eda88429361beab7d0c549175748142dabf1fbffb7e0","source":{"kind":"arxiv","id":"1408.1072","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.1072","created_at":"2026-05-18T02:45:49Z"},{"alias_kind":"arxiv_version","alias_value":"1408.1072v1","created_at":"2026-05-18T02:45:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.1072","created_at":"2026-05-18T02:45:49Z"},{"alias_kind":"pith_short_12","alias_value":"S3PFO5KMCMAW","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"S3PFO5KMCMAWEUMZ","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"S3PFO5KM","created_at":"2026-05-18T12:28:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:S3PFO5KMCMAWEUMZ5WUIIKJWDP","target":"record","payload":{"canonical_record":{"source":{"id":"1408.1072","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-08-05T19:12:26Z","cross_cats_sorted":[],"title_canon_sha256":"d6796f6b8fad892442d6e335cd191615e87f68863a697680c0bb751934e6974c","abstract_canon_sha256":"5778984c8b1c71c33c93f9d82a379358a7b6478eda2b3018b1479e42a4d82379"},"schema_version":"1.0"},"canonical_sha256":"96de57754c1301625199eda88429361beab7d0c549175748142dabf1fbffb7e0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:45:49.071495Z","signature_b64":"pjhmEBkW5NcM3majGPnZnTHj/bnllL7kk0lDGjlbh47pnHlbOxS2S12LXTc16eWfZ+p8L3fiH8pLqXX5Xzh5DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"96de57754c1301625199eda88429361beab7d0c549175748142dabf1fbffb7e0","last_reissued_at":"2026-05-18T02:45:49.071021Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:45:49.071021Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1408.1072","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-18T02:45:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RJ8R1Mgl1My4B6MfTlZAkuyEPd9gGGyWpXsWm7XWEEQRFdZ4HxFfKBvC6NCONwtN5rU2LkG+Dcfk6eSukGpoDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T16:26:50.109800Z"},"content_sha256":"1d7b4739b63b16fad3c623aa2f0f137eaddcf73741374f76ea5843aa6f180e45","schema_version":"1.0","event_id":"sha256:1d7b4739b63b16fad3c623aa2f0f137eaddcf73741374f76ea5843aa6f180e45"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:S3PFO5KMCMAWEUMZ5WUIIKJWDP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Some notes on Esakia spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Dirk Hofmann, Pedro Nora","submitted_at":"2014-08-05T19:12:26Z","abstract_excerpt":"Under Stone/Priestley duality for distributive lattices, Esakia spaces correspond to Heyting algebras which leads to the well-known dual equivalence between the category of Esakia spaces and morphisms on one side and the category of Heyting algebras and Heyting morphisms on the other. Based on the technique of idempotent split completion, we give a simple proof of a more general result involving certain relations rather then functions as morphisms. We also extend the notion of Esakia space to all stably locally compact spaces and show that these spaces define the idempotent split completion of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.1072","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-18T02:45:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qSC3lTVKGusmNqn3f9XDRiXX7ln7PIIh5kwcAZtK4fys641eOaD+Bf3L9AScZiZdvAePhPOmraVlT12D9tSqBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T16:26:50.110383Z"},"content_sha256":"9f3343813d69317acda8fcd89b029b4c7166dbef608df4e196b120f8f4392563","schema_version":"1.0","event_id":"sha256:9f3343813d69317acda8fcd89b029b4c7166dbef608df4e196b120f8f4392563"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S3PFO5KMCMAWEUMZ5WUIIKJWDP/bundle.json","state_url":"https://pith.science/pith/S3PFO5KMCMAWEUMZ5WUIIKJWDP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S3PFO5KMCMAWEUMZ5WUIIKJWDP/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-19T16:26:50Z","links":{"resolver":"https://pith.science/pith/S3PFO5KMCMAWEUMZ5WUIIKJWDP","bundle":"https://pith.science/pith/S3PFO5KMCMAWEUMZ5WUIIKJWDP/bundle.json","state":"https://pith.science/pith/S3PFO5KMCMAWEUMZ5WUIIKJWDP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S3PFO5KMCMAWEUMZ5WUIIKJWDP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:S3PFO5KMCMAWEUMZ5WUIIKJWDP","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":"5778984c8b1c71c33c93f9d82a379358a7b6478eda2b3018b1479e42a4d82379","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-08-05T19:12:26Z","title_canon_sha256":"d6796f6b8fad892442d6e335cd191615e87f68863a697680c0bb751934e6974c"},"schema_version":"1.0","source":{"id":"1408.1072","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.1072","created_at":"2026-05-18T02:45:49Z"},{"alias_kind":"arxiv_version","alias_value":"1408.1072v1","created_at":"2026-05-18T02:45:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.1072","created_at":"2026-05-18T02:45:49Z"},{"alias_kind":"pith_short_12","alias_value":"S3PFO5KMCMAW","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"S3PFO5KMCMAWEUMZ","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"S3PFO5KM","created_at":"2026-05-18T12:28:46Z"}],"graph_snapshots":[{"event_id":"sha256:9f3343813d69317acda8fcd89b029b4c7166dbef608df4e196b120f8f4392563","target":"graph","created_at":"2026-05-18T02:45:49Z","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":"Under Stone/Priestley duality for distributive lattices, Esakia spaces correspond to Heyting algebras which leads to the well-known dual equivalence between the category of Esakia spaces and morphisms on one side and the category of Heyting algebras and Heyting morphisms on the other. Based on the technique of idempotent split completion, we give a simple proof of a more general result involving certain relations rather then functions as morphisms. We also extend the notion of Esakia space to all stably locally compact spaces and show that these spaces define the idempotent split completion of","authors_text":"Dirk Hofmann, Pedro Nora","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-08-05T19:12:26Z","title":"Some notes on Esakia spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.1072","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:1d7b4739b63b16fad3c623aa2f0f137eaddcf73741374f76ea5843aa6f180e45","target":"record","created_at":"2026-05-18T02:45:49Z","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":"5778984c8b1c71c33c93f9d82a379358a7b6478eda2b3018b1479e42a4d82379","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-08-05T19:12:26Z","title_canon_sha256":"d6796f6b8fad892442d6e335cd191615e87f68863a697680c0bb751934e6974c"},"schema_version":"1.0","source":{"id":"1408.1072","kind":"arxiv","version":1}},"canonical_sha256":"96de57754c1301625199eda88429361beab7d0c549175748142dabf1fbffb7e0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"96de57754c1301625199eda88429361beab7d0c549175748142dabf1fbffb7e0","first_computed_at":"2026-05-18T02:45:49.071021Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:45:49.071021Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pjhmEBkW5NcM3majGPnZnTHj/bnllL7kk0lDGjlbh47pnHlbOxS2S12LXTc16eWfZ+p8L3fiH8pLqXX5Xzh5DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:45:49.071495Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.1072","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1d7b4739b63b16fad3c623aa2f0f137eaddcf73741374f76ea5843aa6f180e45","sha256:9f3343813d69317acda8fcd89b029b4c7166dbef608df4e196b120f8f4392563"],"state_sha256":"dce96c1cdc0b6a33b469d6574a6275611bf8f789e8bb7219e55bf1a5af7037b7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"25/uIe5LD5D0ZfDgrsIA7TSFnux+8mAcinkRxQPwOpCNrsw0wElOfglgVXZQ3nc7en0AzBKJMp92OzGQWMEwCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-19T16:26:50.114420Z","bundle_sha256":"9a6b5e4db6c97314256cf36159f0e96d53646e4a4b2e6311de9eafaae0776216"}}