{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:ZRN7L3AU44D4GCV4ZM7DSA5AKS","short_pith_number":"pith:ZRN7L3AU","canonical_record":{"source":{"id":"0912.1242","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2009-12-07T13:57:19Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"9acaab8d65d9477a0672661e86607759bddf3f847ca4e78652d01fd5172ba7b8","abstract_canon_sha256":"e41be7a64f2967956b077d7d2fe81cbed837b4f4acc4056e21d76142e3cba24a"},"schema_version":"1.0"},"canonical_sha256":"cc5bf5ec14e707c30abccb3e3903a0549464cc017e20342595376b9abdaec353","source":{"kind":"arxiv","id":"0912.1242","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0912.1242","created_at":"2026-05-18T02:58:02Z"},{"alias_kind":"arxiv_version","alias_value":"0912.1242v2","created_at":"2026-05-18T02:58:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0912.1242","created_at":"2026-05-18T02:58:02Z"},{"alias_kind":"pith_short_12","alias_value":"ZRN7L3AU44D4","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_16","alias_value":"ZRN7L3AU44D4GCV4","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_8","alias_value":"ZRN7L3AU","created_at":"2026-05-18T12:26:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:ZRN7L3AU44D4GCV4ZM7DSA5AKS","target":"record","payload":{"canonical_record":{"source":{"id":"0912.1242","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2009-12-07T13:57:19Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"9acaab8d65d9477a0672661e86607759bddf3f847ca4e78652d01fd5172ba7b8","abstract_canon_sha256":"e41be7a64f2967956b077d7d2fe81cbed837b4f4acc4056e21d76142e3cba24a"},"schema_version":"1.0"},"canonical_sha256":"cc5bf5ec14e707c30abccb3e3903a0549464cc017e20342595376b9abdaec353","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:58:02.578871Z","signature_b64":"WWWpFzhC2I+dVdGxvw8bvtGjge4KJyjpzhlXHSzz5JMWqYIye8IYBNnUFJcaPV6duNbz2xxb3ZNRRPESQj6GBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cc5bf5ec14e707c30abccb3e3903a0549464cc017e20342595376b9abdaec353","last_reissued_at":"2026-05-18T02:58:02.578281Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:58:02.578281Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0912.1242","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:58:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8YTjmUicJ4zqvP1gtfe2tGxVuMXNjo1IA483Az7wJeaOjRMs7mNGjXJVjyqFpxArOXJTzHId6xlxqmiQgPv+BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T12:41:51.408500Z"},"content_sha256":"2328d1f85c4a83f6e6047d920481b22f37b588438658cc0407e733de3700090a","schema_version":"1.0","event_id":"sha256:2328d1f85c4a83f6e6047d920481b22f37b588438658cc0407e733de3700090a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:ZRN7L3AU44D4GCV4ZM7DSA5AKS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Aspects of Predicative Algebraic Set Theory III: Sheaves","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"math.LO","authors_text":"Benno van den Berg, Ieke Moerdijk","submitted_at":"2009-12-07T13:57:19Z","abstract_excerpt":"This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a \"predicative category with small maps\" which axiomatises the idea of a category of classes and class morphisms, together with a selected class of maps whose fibres are sets (in some axiomatic set theory). The main result of the present paper is that such predicative categories with small maps are stable under internal sheaves. We discuss the sheaf models of constructive s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0912.1242","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:58:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ooS6uM2dlY7uuFt+O5MBBc/k6ksLOiHbQwDa0kez0xbsMvdZZtgH+/RQIlIh8AkPLtoQNw8z5HMRc8bCt4JXCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T12:41:51.409164Z"},"content_sha256":"6608622b8769c67345fd8a6170a01f306be0abedcd271a83695c2cfb7eb56e14","schema_version":"1.0","event_id":"sha256:6608622b8769c67345fd8a6170a01f306be0abedcd271a83695c2cfb7eb56e14"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZRN7L3AU44D4GCV4ZM7DSA5AKS/bundle.json","state_url":"https://pith.science/pith/ZRN7L3AU44D4GCV4ZM7DSA5AKS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZRN7L3AU44D4GCV4ZM7DSA5AKS/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-24T12:41:51Z","links":{"resolver":"https://pith.science/pith/ZRN7L3AU44D4GCV4ZM7DSA5AKS","bundle":"https://pith.science/pith/ZRN7L3AU44D4GCV4ZM7DSA5AKS/bundle.json","state":"https://pith.science/pith/ZRN7L3AU44D4GCV4ZM7DSA5AKS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZRN7L3AU44D4GCV4ZM7DSA5AKS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:ZRN7L3AU44D4GCV4ZM7DSA5AKS","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":"e41be7a64f2967956b077d7d2fe81cbed837b4f4acc4056e21d76142e3cba24a","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2009-12-07T13:57:19Z","title_canon_sha256":"9acaab8d65d9477a0672661e86607759bddf3f847ca4e78652d01fd5172ba7b8"},"schema_version":"1.0","source":{"id":"0912.1242","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0912.1242","created_at":"2026-05-18T02:58:02Z"},{"alias_kind":"arxiv_version","alias_value":"0912.1242v2","created_at":"2026-05-18T02:58:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0912.1242","created_at":"2026-05-18T02:58:02Z"},{"alias_kind":"pith_short_12","alias_value":"ZRN7L3AU44D4","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_16","alias_value":"ZRN7L3AU44D4GCV4","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_8","alias_value":"ZRN7L3AU","created_at":"2026-05-18T12:26:03Z"}],"graph_snapshots":[{"event_id":"sha256:6608622b8769c67345fd8a6170a01f306be0abedcd271a83695c2cfb7eb56e14","target":"graph","created_at":"2026-05-18T02:58:02Z","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 third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a \"predicative category with small maps\" which axiomatises the idea of a category of classes and class morphisms, together with a selected class of maps whose fibres are sets (in some axiomatic set theory). The main result of the present paper is that such predicative categories with small maps are stable under internal sheaves. We discuss the sheaf models of constructive s","authors_text":"Benno van den Berg, Ieke Moerdijk","cross_cats":["math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2009-12-07T13:57:19Z","title":"Aspects of Predicative Algebraic Set Theory III: Sheaves"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0912.1242","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:2328d1f85c4a83f6e6047d920481b22f37b588438658cc0407e733de3700090a","target":"record","created_at":"2026-05-18T02:58:02Z","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":"e41be7a64f2967956b077d7d2fe81cbed837b4f4acc4056e21d76142e3cba24a","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2009-12-07T13:57:19Z","title_canon_sha256":"9acaab8d65d9477a0672661e86607759bddf3f847ca4e78652d01fd5172ba7b8"},"schema_version":"1.0","source":{"id":"0912.1242","kind":"arxiv","version":2}},"canonical_sha256":"cc5bf5ec14e707c30abccb3e3903a0549464cc017e20342595376b9abdaec353","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cc5bf5ec14e707c30abccb3e3903a0549464cc017e20342595376b9abdaec353","first_computed_at":"2026-05-18T02:58:02.578281Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:58:02.578281Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WWWpFzhC2I+dVdGxvw8bvtGjge4KJyjpzhlXHSzz5JMWqYIye8IYBNnUFJcaPV6duNbz2xxb3ZNRRPESQj6GBA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:58:02.578871Z","signed_message":"canonical_sha256_bytes"},"source_id":"0912.1242","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2328d1f85c4a83f6e6047d920481b22f37b588438658cc0407e733de3700090a","sha256:6608622b8769c67345fd8a6170a01f306be0abedcd271a83695c2cfb7eb56e14"],"state_sha256":"1a6960f217f517a02c33accc4bc504eb36531d336723b415edbe3888929a841a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IF56+dtTsiXnu4LkA3ouiUfExQofiq43l2lHt5s5OVmfAmix1YmBZ2CAPD0zzB3DVJfDtc/VLRX/yD4szJxnBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-24T12:41:51.412375Z","bundle_sha256":"8708b36a0ab866cda08c2b2a2614db763cd8c955b9916548b1d7a038434c5b66"}}