{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:KOKVJA3GVSFGFRKNPXIE6QQD2X","short_pith_number":"pith:KOKVJA3G","canonical_record":{"source":{"id":"1605.03099","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2016-05-07T14:59:51Z","cross_cats_sorted":["gr-qc","math-ph","math.MP"],"title_canon_sha256":"cb9e7e7f071a75b39d31e94e97afcd8d8164079a2e3f0fa771ffbd115fdc4d1a","abstract_canon_sha256":"e228c109ed97af4c1cd56cd1e36e0b461fa4a710ba040531c3a72a0ca76db573"},"schema_version":"1.0"},"canonical_sha256":"5395548366ac8a62c54d7dd04f4203d5f14e3fc20906bc5285d82c657be399c3","source":{"kind":"arxiv","id":"1605.03099","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.03099","created_at":"2026-05-18T01:15:06Z"},{"alias_kind":"arxiv_version","alias_value":"1605.03099v1","created_at":"2026-05-18T01:15:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.03099","created_at":"2026-05-18T01:15:06Z"},{"alias_kind":"pith_short_12","alias_value":"KOKVJA3GVSFG","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"KOKVJA3GVSFGFRKN","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"KOKVJA3G","created_at":"2026-05-18T12:30:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:KOKVJA3GVSFGFRKNPXIE6QQD2X","target":"record","payload":{"canonical_record":{"source":{"id":"1605.03099","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2016-05-07T14:59:51Z","cross_cats_sorted":["gr-qc","math-ph","math.MP"],"title_canon_sha256":"cb9e7e7f071a75b39d31e94e97afcd8d8164079a2e3f0fa771ffbd115fdc4d1a","abstract_canon_sha256":"e228c109ed97af4c1cd56cd1e36e0b461fa4a710ba040531c3a72a0ca76db573"},"schema_version":"1.0"},"canonical_sha256":"5395548366ac8a62c54d7dd04f4203d5f14e3fc20906bc5285d82c657be399c3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:15:06.019767Z","signature_b64":"5xwbT1lyQfWEu4Mr2kFT4Ob9hDLQ7aT7DxVtXD7mT6c2xbTZgrj+MoQPVF7NBONmSgx8iGvjl3lXJab7B7oFBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5395548366ac8a62c54d7dd04f4203d5f14e3fc20906bc5285d82c657be399c3","last_reissued_at":"2026-05-18T01:15:06.019269Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:15:06.019269Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.03099","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-18T01:15:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"304SK2WO3R5Dy0LvMApPXhgxJ+wyiLyxIJCu69QCVQZVD4GK1pFI6unbOoIDUwBVh0zpELaXjUleValOV6nTBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T02:03:13.854122Z"},"content_sha256":"8d8a5ec105b7d39d771b7325f5dc4ae78a00658960fdbcf0da68f135c972db0a","schema_version":"1.0","event_id":"sha256:8d8a5ec105b7d39d771b7325f5dc4ae78a00658960fdbcf0da68f135c972db0a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:KOKVJA3GVSFGFRKNPXIE6QQD2X","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"How Logic Interacts with Geometry: Infinitesimal Curvature of Categorical Spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["gr-qc","math-ph","math.MP"],"primary_cat":"math.DG","authors_text":"Jerzy Kr\\'ol, Michael Heller","submitted_at":"2016-05-07T14:59:51Z","abstract_excerpt":"In category theory, logic and geometry cooperate with each other producing what is known under the name Synthetic Differential Geometry (SDG). The main difference between SDG and standard differential geometry is that the intuitionistic logic of SDG enforces the existence of infinitesimal objects which essentially modify the local structure of spaces considered in SDG. We focus on an \"infinitesimal version\" of SDG, an infinitesimal $n$-dimensional formal manifold, and develop differential geometry on it. In particular, we show that the Riemann curvature tensor on infinitesimal level is itself "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.03099","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-18T01:15:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t3IVTgnPL2awpDPptXRAjQv4qBD/XmrkO/77a9WLeYLfqfXpXSQIvTbBQSHNZV/JTuAyNUUiSN1UyY0l+1VlDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T02:03:13.854481Z"},"content_sha256":"a054ed7652ac67e2db76a06a5a1e40f0355896eb1ee15f4735b1f0506f5c35c7","schema_version":"1.0","event_id":"sha256:a054ed7652ac67e2db76a06a5a1e40f0355896eb1ee15f4735b1f0506f5c35c7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KOKVJA3GVSFGFRKNPXIE6QQD2X/bundle.json","state_url":"https://pith.science/pith/KOKVJA3GVSFGFRKNPXIE6QQD2X/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KOKVJA3GVSFGFRKNPXIE6QQD2X/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-29T02:03:13Z","links":{"resolver":"https://pith.science/pith/KOKVJA3GVSFGFRKNPXIE6QQD2X","bundle":"https://pith.science/pith/KOKVJA3GVSFGFRKNPXIE6QQD2X/bundle.json","state":"https://pith.science/pith/KOKVJA3GVSFGFRKNPXIE6QQD2X/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KOKVJA3GVSFGFRKNPXIE6QQD2X/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:KOKVJA3GVSFGFRKNPXIE6QQD2X","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":"e228c109ed97af4c1cd56cd1e36e0b461fa4a710ba040531c3a72a0ca76db573","cross_cats_sorted":["gr-qc","math-ph","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2016-05-07T14:59:51Z","title_canon_sha256":"cb9e7e7f071a75b39d31e94e97afcd8d8164079a2e3f0fa771ffbd115fdc4d1a"},"schema_version":"1.0","source":{"id":"1605.03099","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.03099","created_at":"2026-05-18T01:15:06Z"},{"alias_kind":"arxiv_version","alias_value":"1605.03099v1","created_at":"2026-05-18T01:15:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.03099","created_at":"2026-05-18T01:15:06Z"},{"alias_kind":"pith_short_12","alias_value":"KOKVJA3GVSFG","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"KOKVJA3GVSFGFRKN","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"KOKVJA3G","created_at":"2026-05-18T12:30:25Z"}],"graph_snapshots":[{"event_id":"sha256:a054ed7652ac67e2db76a06a5a1e40f0355896eb1ee15f4735b1f0506f5c35c7","target":"graph","created_at":"2026-05-18T01:15:06Z","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":"In category theory, logic and geometry cooperate with each other producing what is known under the name Synthetic Differential Geometry (SDG). The main difference between SDG and standard differential geometry is that the intuitionistic logic of SDG enforces the existence of infinitesimal objects which essentially modify the local structure of spaces considered in SDG. We focus on an \"infinitesimal version\" of SDG, an infinitesimal $n$-dimensional formal manifold, and develop differential geometry on it. In particular, we show that the Riemann curvature tensor on infinitesimal level is itself ","authors_text":"Jerzy Kr\\'ol, Michael Heller","cross_cats":["gr-qc","math-ph","math.MP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2016-05-07T14:59:51Z","title":"How Logic Interacts with Geometry: Infinitesimal Curvature of Categorical Spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.03099","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:8d8a5ec105b7d39d771b7325f5dc4ae78a00658960fdbcf0da68f135c972db0a","target":"record","created_at":"2026-05-18T01:15:06Z","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":"e228c109ed97af4c1cd56cd1e36e0b461fa4a710ba040531c3a72a0ca76db573","cross_cats_sorted":["gr-qc","math-ph","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2016-05-07T14:59:51Z","title_canon_sha256":"cb9e7e7f071a75b39d31e94e97afcd8d8164079a2e3f0fa771ffbd115fdc4d1a"},"schema_version":"1.0","source":{"id":"1605.03099","kind":"arxiv","version":1}},"canonical_sha256":"5395548366ac8a62c54d7dd04f4203d5f14e3fc20906bc5285d82c657be399c3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5395548366ac8a62c54d7dd04f4203d5f14e3fc20906bc5285d82c657be399c3","first_computed_at":"2026-05-18T01:15:06.019269Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:15:06.019269Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5xwbT1lyQfWEu4Mr2kFT4Ob9hDLQ7aT7DxVtXD7mT6c2xbTZgrj+MoQPVF7NBONmSgx8iGvjl3lXJab7B7oFBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:15:06.019767Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.03099","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8d8a5ec105b7d39d771b7325f5dc4ae78a00658960fdbcf0da68f135c972db0a","sha256:a054ed7652ac67e2db76a06a5a1e40f0355896eb1ee15f4735b1f0506f5c35c7"],"state_sha256":"986c51cc4bb9199bc8943b9787ec3b9ebbc42732fbf203ca8409543686d289ec"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2NkFQ3NqlMI/FRZbvqikg7ZSPxMtCgWo1nAxBssAxEhyPSLiwQW28Rs4CtUndRD4SP8UaiR0ecw6JSR5ZbCRDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T02:03:13.856343Z","bundle_sha256":"8541e7be20700e9b746693e3257e61b3690fc92e521848a2a8f9c36557e15c64"}}