{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:Q6PZQPPUKKTT3GYRAC4QV2OFDW","short_pith_number":"pith:Q6PZQPPU","schema_version":"1.0","canonical_sha256":"879f983df452a73d9b1100b90ae9c51d93c94de361f8794143dfebc69c6e89fb","source":{"kind":"arxiv","id":"1706.03541","version":1},"attestation_state":"computed","paper":{"title":"Gravity in the smallest","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.MP"],"primary_cat":"gr-qc","authors_text":"Jerzy Kr\\'ol, Michael Heller","submitted_at":"2017-06-12T09:58:59Z","abstract_excerpt":"Synthetic Differential Geometry (SDG) is a categorical version of differential geometry based on enriching the real line with infinitesimals and weakening of classical logic to intuitionistic logic. We show that SDG provides an effective mathematical tool to formulate general relativity in infinitesimally small domains. Such a domain is modelled by a monad around a point $x$ of a manifold $M$, defined as a collection of points in $M$ that differ from $x$ by an infinitesimal value. Monads have rich enough matematical structure to allow for the existence of all geomeric quantities necesary to co"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1706.03541","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"gr-qc","submitted_at":"2017-06-12T09:58:59Z","cross_cats_sorted":["math-ph","math.MP"],"title_canon_sha256":"9cab037dbaf51e25823415bbd34ff94786dc9ecef495d5131f07d06e7456f7e4","abstract_canon_sha256":"77ddbe3621fe6518ab01858fb8da5fedf4bb45d33bfff80e5a79fe9d37760b0f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:34.400027Z","signature_b64":"bSDPQDJ5Hu7oALUzqrRtcZFGBh/8w9YODSsxEWKyatszwh8D9WCbYPp4psxR8h8vYEnpDbqa+X4ja2bXZljPDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"879f983df452a73d9b1100b90ae9c51d93c94de361f8794143dfebc69c6e89fb","last_reissued_at":"2026-05-18T00:42:34.399396Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:34.399396Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Gravity in the smallest","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.MP"],"primary_cat":"gr-qc","authors_text":"Jerzy Kr\\'ol, Michael Heller","submitted_at":"2017-06-12T09:58:59Z","abstract_excerpt":"Synthetic Differential Geometry (SDG) is a categorical version of differential geometry based on enriching the real line with infinitesimals and weakening of classical logic to intuitionistic logic. We show that SDG provides an effective mathematical tool to formulate general relativity in infinitesimally small domains. Such a domain is modelled by a monad around a point $x$ of a manifold $M$, defined as a collection of points in $M$ that differ from $x$ by an infinitesimal value. Monads have rich enough matematical structure to allow for the existence of all geomeric quantities necesary to co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.03541","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1706.03541","created_at":"2026-05-18T00:42:34.399494+00:00"},{"alias_kind":"arxiv_version","alias_value":"1706.03541v1","created_at":"2026-05-18T00:42:34.399494+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.03541","created_at":"2026-05-18T00:42:34.399494+00:00"},{"alias_kind":"pith_short_12","alias_value":"Q6PZQPPUKKTT","created_at":"2026-05-18T12:31:37.085036+00:00"},{"alias_kind":"pith_short_16","alias_value":"Q6PZQPPUKKTT3GYR","created_at":"2026-05-18T12:31:37.085036+00:00"},{"alias_kind":"pith_short_8","alias_value":"Q6PZQPPU","created_at":"2026-05-18T12:31:37.085036+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/Q6PZQPPUKKTT3GYRAC4QV2OFDW","json":"https://pith.science/pith/Q6PZQPPUKKTT3GYRAC4QV2OFDW.json","graph_json":"https://pith.science/api/pith-number/Q6PZQPPUKKTT3GYRAC4QV2OFDW/graph.json","events_json":"https://pith.science/api/pith-number/Q6PZQPPUKKTT3GYRAC4QV2OFDW/events.json","paper":"https://pith.science/paper/Q6PZQPPU"},"agent_actions":{"view_html":"https://pith.science/pith/Q6PZQPPUKKTT3GYRAC4QV2OFDW","download_json":"https://pith.science/pith/Q6PZQPPUKKTT3GYRAC4QV2OFDW.json","view_paper":"https://pith.science/paper/Q6PZQPPU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1706.03541&json=true","fetch_graph":"https://pith.science/api/pith-number/Q6PZQPPUKKTT3GYRAC4QV2OFDW/graph.json","fetch_events":"https://pith.science/api/pith-number/Q6PZQPPUKKTT3GYRAC4QV2OFDW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Q6PZQPPUKKTT3GYRAC4QV2OFDW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Q6PZQPPUKKTT3GYRAC4QV2OFDW/action/storage_attestation","attest_author":"https://pith.science/pith/Q6PZQPPUKKTT3GYRAC4QV2OFDW/action/author_attestation","sign_citation":"https://pith.science/pith/Q6PZQPPUKKTT3GYRAC4QV2OFDW/action/citation_signature","submit_replication":"https://pith.science/pith/Q6PZQPPUKKTT3GYRAC4QV2OFDW/action/replication_record"}},"created_at":"2026-05-18T00:42:34.399494+00:00","updated_at":"2026-05-18T00:42:34.399494+00:00"}