{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:CKBD5HGF7K52QZLAV3DJNUFW6O","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":"40ced1fc4225aec5f66eb7129c1ab2d266a7d1b78e7bec14eefd6f5ad363025c","cross_cats_sorted":["math.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-07-10T17:03:04Z","title_canon_sha256":"ed93e325ccd4e7bd7d993322914193aa168ee213425d6029af956dec6ee512af"},"schema_version":"1.0","source":{"id":"2507.07922","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.07922","created_at":"2026-06-09T02:08:31Z"},{"alias_kind":"arxiv_version","alias_value":"2507.07922v3","created_at":"2026-06-09T02:08:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.07922","created_at":"2026-06-09T02:08:31Z"},{"alias_kind":"pith_short_12","alias_value":"CKBD5HGF7K52","created_at":"2026-06-09T02:08:31Z"},{"alias_kind":"pith_short_16","alias_value":"CKBD5HGF7K52QZLA","created_at":"2026-06-09T02:08:31Z"},{"alias_kind":"pith_short_8","alias_value":"CKBD5HGF","created_at":"2026-06-09T02:08:31Z"}],"graph_snapshots":[{"event_id":"sha256:0e534b119fd861290524d0419268cc6a81a38d2d24b6fa8f6b0ff619a10b9f54","target":"graph","created_at":"2026-06-09T02:08:31Z","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/2507.07922/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce the theory of generalised ultracategories, these are relational extensions to ultracategories as defined by Lurie. An essential example of generalised ultracategories are topological spaces, and these play a fundamental role in the theory of generalised ultracategories. Another example of these generalised ultracategories is points of toposes. In this paper, we show a conceptual completeness theorem for toposes with enough points, stating that any such topos can be reconstructed from its generalised ultracategory of points. This is done by considering left ultrafunctors from topol","authors_text":"Ali Hamad","cross_cats":["math.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.07922","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:6acbca701b20eb03ad9b8d3c2142b9ac7dfb2c06f04ea590776817202dd9f7cc","target":"record","created_at":"2026-06-09T02:08:31Z","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":"40ced1fc4225aec5f66eb7129c1ab2d266a7d1b78e7bec14eefd6f5ad363025c","cross_cats_sorted":["math.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-07-10T17:03:04Z","title_canon_sha256":"ed93e325ccd4e7bd7d993322914193aa168ee213425d6029af956dec6ee512af"},"schema_version":"1.0","source":{"id":"2507.07922","kind":"arxiv","version":3}},"canonical_sha256":"12823e9cc5fabba86560aec696d0b6f3bbe341bc153b9c39a23abaa6c3f391cc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"12823e9cc5fabba86560aec696d0b6f3bbe341bc153b9c39a23abaa6c3f391cc","first_computed_at":"2026-06-09T02:08:31.629417Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-09T02:08:31.629417Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JVb8/Gt1T+spm3pEtfHmNGE5O2VPuWRw0n60NF1kXZXC4htRr7GIIs38nYc54UYfXK6TrZJ0c3rQYqnx9pKiDA==","signature_status":"signed_v1","signed_at":"2026-06-09T02:08:31.630773Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.07922","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6acbca701b20eb03ad9b8d3c2142b9ac7dfb2c06f04ea590776817202dd9f7cc","sha256:0e534b119fd861290524d0419268cc6a81a38d2d24b6fa8f6b0ff619a10b9f54"],"state_sha256":"d703ee0e98eeccbd8919b6bb33ec26cc31815f70d7af435b4cabd908d93cc733"}