{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:5EHV5VR2MNVNEFPPQWFC2Y7TTU","short_pith_number":"pith:5EHV5VR2","schema_version":"1.0","canonical_sha256":"e90f5ed63a636ad215ef858a2d63f39d018534a2a6f4ccc27d3addc2a908c343","source":{"kind":"arxiv","id":"2111.03460","version":2},"attestation_state":"computed","paper":{"title":"Pregeometric Spaces from Wolfram Model Rewriting Systems as Homotopy Types","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","gr-qc","hep-th"],"primary_cat":"math.CT","authors_text":"Jonathan Gorard, Xerxes D. Arsiwalla","submitted_at":"2021-11-04T16:24:34Z","abstract_excerpt":"How do spaces emerge from pregeometric discrete building blocks governed by computational rules? To address this, we investigate non-deterministic rewriting systems (multiway systems) of the Wolfram model. We express these rewriting systems as homotopy types. Using this new formulation, we outline how spatial structures can be functorially inherited from pregeometric type-theoretic constructions. We show how higher homotopy types are constructed from rewriting rules. These correspond to morphisms of an $n$-fold category. Subsequently, the $n \\to \\infty$ limit of the Wolfram model rulial multiw"},"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":"2111.03460","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2021-11-04T16:24:34Z","cross_cats_sorted":["cs.LO","gr-qc","hep-th"],"title_canon_sha256":"f0306c9bf82bfe876005eab298d398d78031d66e3027e07a2c2d099a4779c4d3","abstract_canon_sha256":"f72e04fc78f9127fd50543d5c431aaba19baef23d2bcd1506cf5fcf355d10577"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:33:51.378468Z","signature_b64":"r/Qi7JEjBWeqp07N5oS/hyP+tMP1Vbn1DrgLPuh4pNFvEm4Yq9c1hobZ7fQKCc0s6wC9fO32mocDwJ+huapVDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e90f5ed63a636ad215ef858a2d63f39d018534a2a6f4ccc27d3addc2a908c343","last_reissued_at":"2026-07-05T03:33:51.378076Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:33:51.378076Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Pregeometric Spaces from Wolfram Model Rewriting Systems as Homotopy Types","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","gr-qc","hep-th"],"primary_cat":"math.CT","authors_text":"Jonathan Gorard, Xerxes D. Arsiwalla","submitted_at":"2021-11-04T16:24:34Z","abstract_excerpt":"How do spaces emerge from pregeometric discrete building blocks governed by computational rules? To address this, we investigate non-deterministic rewriting systems (multiway systems) of the Wolfram model. We express these rewriting systems as homotopy types. Using this new formulation, we outline how spatial structures can be functorially inherited from pregeometric type-theoretic constructions. We show how higher homotopy types are constructed from rewriting rules. These correspond to morphisms of an $n$-fold category. Subsequently, the $n \\to \\infty$ limit of the Wolfram model rulial multiw"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.03460","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2111.03460/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2111.03460","created_at":"2026-07-05T03:33:51.378129+00:00"},{"alias_kind":"arxiv_version","alias_value":"2111.03460v2","created_at":"2026-07-05T03:33:51.378129+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.03460","created_at":"2026-07-05T03:33:51.378129+00:00"},{"alias_kind":"pith_short_12","alias_value":"5EHV5VR2MNVN","created_at":"2026-07-05T03:33:51.378129+00:00"},{"alias_kind":"pith_short_16","alias_value":"5EHV5VR2MNVNEFPP","created_at":"2026-07-05T03:33:51.378129+00:00"},{"alias_kind":"pith_short_8","alias_value":"5EHV5VR2","created_at":"2026-07-05T03:33:51.378129+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/5EHV5VR2MNVNEFPPQWFC2Y7TTU","json":"https://pith.science/pith/5EHV5VR2MNVNEFPPQWFC2Y7TTU.json","graph_json":"https://pith.science/api/pith-number/5EHV5VR2MNVNEFPPQWFC2Y7TTU/graph.json","events_json":"https://pith.science/api/pith-number/5EHV5VR2MNVNEFPPQWFC2Y7TTU/events.json","paper":"https://pith.science/paper/5EHV5VR2"},"agent_actions":{"view_html":"https://pith.science/pith/5EHV5VR2MNVNEFPPQWFC2Y7TTU","download_json":"https://pith.science/pith/5EHV5VR2MNVNEFPPQWFC2Y7TTU.json","view_paper":"https://pith.science/paper/5EHV5VR2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2111.03460&json=true","fetch_graph":"https://pith.science/api/pith-number/5EHV5VR2MNVNEFPPQWFC2Y7TTU/graph.json","fetch_events":"https://pith.science/api/pith-number/5EHV5VR2MNVNEFPPQWFC2Y7TTU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5EHV5VR2MNVNEFPPQWFC2Y7TTU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5EHV5VR2MNVNEFPPQWFC2Y7TTU/action/storage_attestation","attest_author":"https://pith.science/pith/5EHV5VR2MNVNEFPPQWFC2Y7TTU/action/author_attestation","sign_citation":"https://pith.science/pith/5EHV5VR2MNVNEFPPQWFC2Y7TTU/action/citation_signature","submit_replication":"https://pith.science/pith/5EHV5VR2MNVNEFPPQWFC2Y7TTU/action/replication_record"}},"created_at":"2026-07-05T03:33:51.378129+00:00","updated_at":"2026-07-05T03:33:51.378129+00:00"}