{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:WQEY6YTOSDFO5HL5ZAJAR5LOG4","short_pith_number":"pith:WQEY6YTO","schema_version":"1.0","canonical_sha256":"b4098f626e90caee9d7dc81208f56e37120ca1dfd069823b4662800acb75bfb1","source":{"kind":"arxiv","id":"2605.21142","version":1},"attestation_state":"computed","paper":{"title":"Combinatorial manifolds and Kleene's theorem, homotopically","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"math.CT","authors_text":"Yorgo Chamoun","submitted_at":"2026-05-20T13:18:09Z","abstract_excerpt":"We give a general method to build categories of combinatorial manifolds, i.e. categories of combinatorial objects satisfying some local property at every \"point\", as coreflective subcategories of categories of relational presheaves. To do this, we crucially rely on unique factorization systems, and we can interpet our technique as a way of building a model category whose cofibrant objects are exactly the combinatorial manifolds. We then illustrate the usefulness of this point of view by two applications. First we build a category of euclidean precubical sets, i.e. precubical sets that locally "},"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":"2605.21142","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2026-05-20T13:18:09Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"01c6271649e982378c6fa60ad74826b199efc8aff05d60232c2158e69e40adcb","abstract_canon_sha256":"a8742dd332577023930372908ad17cfe841b5c67a25fbc4c8f8e2641eec32b0d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-21T01:05:39.613628Z","signature_b64":"2rFbrEu593VdjzPdxOMNeoonSy4ykjjAHv9XHf5quMbviqsVMmfKLIxVYI6ZSriyF/SSmjKygYtpXdMQCkEyBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b4098f626e90caee9d7dc81208f56e37120ca1dfd069823b4662800acb75bfb1","last_reissued_at":"2026-05-21T01:05:39.612866Z","signature_status":"signed_v1","first_computed_at":"2026-05-21T01:05:39.612866Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Combinatorial manifolds and Kleene's theorem, homotopically","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"math.CT","authors_text":"Yorgo Chamoun","submitted_at":"2026-05-20T13:18:09Z","abstract_excerpt":"We give a general method to build categories of combinatorial manifolds, i.e. categories of combinatorial objects satisfying some local property at every \"point\", as coreflective subcategories of categories of relational presheaves. To do this, we crucially rely on unique factorization systems, and we can interpet our technique as a way of building a model category whose cofibrant objects are exactly the combinatorial manifolds. We then illustrate the usefulness of this point of view by two applications. First we build a category of euclidean precubical sets, i.e. precubical sets that locally "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.21142","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.21142/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":"2605.21142","created_at":"2026-05-21T01:05:39.612991+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.21142v1","created_at":"2026-05-21T01:05:39.612991+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.21142","created_at":"2026-05-21T01:05:39.612991+00:00"},{"alias_kind":"pith_short_12","alias_value":"WQEY6YTOSDFO","created_at":"2026-05-21T01:05:39.612991+00:00"},{"alias_kind":"pith_short_16","alias_value":"WQEY6YTOSDFO5HL5","created_at":"2026-05-21T01:05:39.612991+00:00"},{"alias_kind":"pith_short_8","alias_value":"WQEY6YTO","created_at":"2026-05-21T01:05:39.612991+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/WQEY6YTOSDFO5HL5ZAJAR5LOG4","json":"https://pith.science/pith/WQEY6YTOSDFO5HL5ZAJAR5LOG4.json","graph_json":"https://pith.science/api/pith-number/WQEY6YTOSDFO5HL5ZAJAR5LOG4/graph.json","events_json":"https://pith.science/api/pith-number/WQEY6YTOSDFO5HL5ZAJAR5LOG4/events.json","paper":"https://pith.science/paper/WQEY6YTO"},"agent_actions":{"view_html":"https://pith.science/pith/WQEY6YTOSDFO5HL5ZAJAR5LOG4","download_json":"https://pith.science/pith/WQEY6YTOSDFO5HL5ZAJAR5LOG4.json","view_paper":"https://pith.science/paper/WQEY6YTO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.21142&json=true","fetch_graph":"https://pith.science/api/pith-number/WQEY6YTOSDFO5HL5ZAJAR5LOG4/graph.json","fetch_events":"https://pith.science/api/pith-number/WQEY6YTOSDFO5HL5ZAJAR5LOG4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WQEY6YTOSDFO5HL5ZAJAR5LOG4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WQEY6YTOSDFO5HL5ZAJAR5LOG4/action/storage_attestation","attest_author":"https://pith.science/pith/WQEY6YTOSDFO5HL5ZAJAR5LOG4/action/author_attestation","sign_citation":"https://pith.science/pith/WQEY6YTOSDFO5HL5ZAJAR5LOG4/action/citation_signature","submit_replication":"https://pith.science/pith/WQEY6YTOSDFO5HL5ZAJAR5LOG4/action/replication_record"}},"created_at":"2026-05-21T01:05:39.612991+00:00","updated_at":"2026-05-21T01:05:39.612991+00:00"}