{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:BLRV3SKL2LRA7IHXDM5YGVWL2A","short_pith_number":"pith:BLRV3SKL","canonical_record":{"source":{"id":"1403.3672","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-03-14T19:01:17Z","cross_cats_sorted":[],"title_canon_sha256":"bb6438e3640f9b7a740aa361405ad7fc20b058c578971b571fae1afb0339916f","abstract_canon_sha256":"4d57e99bbf43acdaf2d461bf66209d7bf6f02af135381c925576bcbbaa0d3cd0"},"schema_version":"1.0"},"canonical_sha256":"0ae35dc94bd2e20fa0f71b3b8356cbd02927f7e0b155f409d187fb38eb10e159","source":{"kind":"arxiv","id":"1403.3672","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.3672","created_at":"2026-05-18T02:56:19Z"},{"alias_kind":"arxiv_version","alias_value":"1403.3672v1","created_at":"2026-05-18T02:56:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.3672","created_at":"2026-05-18T02:56:19Z"},{"alias_kind":"pith_short_12","alias_value":"BLRV3SKL2LRA","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"BLRV3SKL2LRA7IHX","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"BLRV3SKL","created_at":"2026-05-18T12:28:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:BLRV3SKL2LRA7IHXDM5YGVWL2A","target":"record","payload":{"canonical_record":{"source":{"id":"1403.3672","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-03-14T19:01:17Z","cross_cats_sorted":[],"title_canon_sha256":"bb6438e3640f9b7a740aa361405ad7fc20b058c578971b571fae1afb0339916f","abstract_canon_sha256":"4d57e99bbf43acdaf2d461bf66209d7bf6f02af135381c925576bcbbaa0d3cd0"},"schema_version":"1.0"},"canonical_sha256":"0ae35dc94bd2e20fa0f71b3b8356cbd02927f7e0b155f409d187fb38eb10e159","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:56:19.709123Z","signature_b64":"kH+M2CPzWkUZwXoO9YZZiL13DVXIuFI6LqcOgjefny9XvFSY8WcX2wQoUCUmAu7azFZgUnxD7ShkfTBRYcOBAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0ae35dc94bd2e20fa0f71b3b8356cbd02927f7e0b155f409d187fb38eb10e159","last_reissued_at":"2026-05-18T02:56:19.708415Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:56:19.708415Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.3672","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:56:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6vhgYDxYu6owBz4kxZhCt2eplZbxJhZd1VNqpsf+xW4rX3OH7bdsz3jfoQyyyPjG47JgQvFC80qkuVXRr2o1AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T17:02:57.683862Z"},"content_sha256":"691b5a4988d6ba319c99a67ee9c1e0d943ad0b2749df1d91c0c4d63107cb4a25","schema_version":"1.0","event_id":"sha256:691b5a4988d6ba319c99a67ee9c1e0d943ad0b2749df1d91c0c4d63107cb4a25"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:BLRV3SKL2LRA7IHXDM5YGVWL2A","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A fibrational study of realizability toposes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Jonas Frey","submitted_at":"2014-03-14T19:01:17Z","abstract_excerpt":"This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes.\n  While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic realizability interpretations, it was remarked by experts (notably Peter Johnstone) that the field of realizability toposes itself was not clearly delineated, and lacked a powerful theory analogous to that of Grothendieck toposes.\n  The present work sets out to remedy this situation to a certain extent. We argue that realizability toposes are best understoo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.3672","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:56:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0FbozQoMWC1ZEdaqOkvxK6PO+hoEHkCUDtIuDIrUJjrh1WZkEOS0PbwNnxCH+Gy8mxL3fvxvGMrWAWmVPGH6CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T17:02:57.684604Z"},"content_sha256":"3c3a1358513f04cc874bf1589893d04771b31bdfcbb0edfa71b7be94a1031318","schema_version":"1.0","event_id":"sha256:3c3a1358513f04cc874bf1589893d04771b31bdfcbb0edfa71b7be94a1031318"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BLRV3SKL2LRA7IHXDM5YGVWL2A/bundle.json","state_url":"https://pith.science/pith/BLRV3SKL2LRA7IHXDM5YGVWL2A/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BLRV3SKL2LRA7IHXDM5YGVWL2A/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-06-07T17:02:57Z","links":{"resolver":"https://pith.science/pith/BLRV3SKL2LRA7IHXDM5YGVWL2A","bundle":"https://pith.science/pith/BLRV3SKL2LRA7IHXDM5YGVWL2A/bundle.json","state":"https://pith.science/pith/BLRV3SKL2LRA7IHXDM5YGVWL2A/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BLRV3SKL2LRA7IHXDM5YGVWL2A/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:BLRV3SKL2LRA7IHXDM5YGVWL2A","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":"4d57e99bbf43acdaf2d461bf66209d7bf6f02af135381c925576bcbbaa0d3cd0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-03-14T19:01:17Z","title_canon_sha256":"bb6438e3640f9b7a740aa361405ad7fc20b058c578971b571fae1afb0339916f"},"schema_version":"1.0","source":{"id":"1403.3672","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.3672","created_at":"2026-05-18T02:56:19Z"},{"alias_kind":"arxiv_version","alias_value":"1403.3672v1","created_at":"2026-05-18T02:56:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.3672","created_at":"2026-05-18T02:56:19Z"},{"alias_kind":"pith_short_12","alias_value":"BLRV3SKL2LRA","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"BLRV3SKL2LRA7IHX","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"BLRV3SKL","created_at":"2026-05-18T12:28:22Z"}],"graph_snapshots":[{"event_id":"sha256:3c3a1358513f04cc874bf1589893d04771b31bdfcbb0edfa71b7be94a1031318","target":"graph","created_at":"2026-05-18T02:56:19Z","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":"This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes.\n  While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic realizability interpretations, it was remarked by experts (notably Peter Johnstone) that the field of realizability toposes itself was not clearly delineated, and lacked a powerful theory analogous to that of Grothendieck toposes.\n  The present work sets out to remedy this situation to a certain extent. We argue that realizability toposes are best understoo","authors_text":"Jonas Frey","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-03-14T19:01:17Z","title":"A fibrational study of realizability toposes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.3672","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:691b5a4988d6ba319c99a67ee9c1e0d943ad0b2749df1d91c0c4d63107cb4a25","target":"record","created_at":"2026-05-18T02:56:19Z","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":"4d57e99bbf43acdaf2d461bf66209d7bf6f02af135381c925576bcbbaa0d3cd0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-03-14T19:01:17Z","title_canon_sha256":"bb6438e3640f9b7a740aa361405ad7fc20b058c578971b571fae1afb0339916f"},"schema_version":"1.0","source":{"id":"1403.3672","kind":"arxiv","version":1}},"canonical_sha256":"0ae35dc94bd2e20fa0f71b3b8356cbd02927f7e0b155f409d187fb38eb10e159","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0ae35dc94bd2e20fa0f71b3b8356cbd02927f7e0b155f409d187fb38eb10e159","first_computed_at":"2026-05-18T02:56:19.708415Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:56:19.708415Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kH+M2CPzWkUZwXoO9YZZiL13DVXIuFI6LqcOgjefny9XvFSY8WcX2wQoUCUmAu7azFZgUnxD7ShkfTBRYcOBAw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:56:19.709123Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.3672","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:691b5a4988d6ba319c99a67ee9c1e0d943ad0b2749df1d91c0c4d63107cb4a25","sha256:3c3a1358513f04cc874bf1589893d04771b31bdfcbb0edfa71b7be94a1031318"],"state_sha256":"228c742639f50ab193fb5da2a454f18723b46c1f25cadd0d9a11a3c28060a887"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mvokDl3nGdYHYNmQ+nrIxKFTiPD7rQrNaNU/7wlPNHpRiEPEIpAGOc7JMPWtS86Tlg+62DoI7jQs2nedNonGAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T17:02:57.688651Z","bundle_sha256":"54e5db34723ca592444d5a82e1488b8e3c0a7d3a06f3c6293136f9654e55b6a0"}}