{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:POVBWJFX6VUQVEXVBFMTEU2L7Q","short_pith_number":"pith:POVBWJFX","schema_version":"1.0","canonical_sha256":"7baa1b24b7f5690a92f5095932534bfc1456eed70fb401b3a399c0fd8eaa29b3","source":{"kind":"arxiv","id":"1011.0918","version":3},"attestation_state":"computed","paper":{"title":"Towards a homotopy theory of higher dimensional transition systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"math.CT","authors_text":"Philippe Gaucher","submitted_at":"2010-11-03T15:34:39Z","abstract_excerpt":"We proved in a previous work that Cattani-Sassone's higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of weak higher dimensional transition systems. In this paper, we turn our attention to the full subcategory of weak higher dimensional transition systems which are unions of cubes. It is proved that there exists a left proper combinatorial model structure such that two objects are weakly equivalent if and only if they have the same cubes after simplification of the labelling. This model structure is ob"},"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":"1011.0918","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2010-11-03T15:34:39Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"e7464f1eacd2bb0d4adc7ae801201e5981499c49e2d82d47c08be887081c989c","abstract_canon_sha256":"a6c9285848941a40a921ebf8da9d823a898a94c216a7bf35db8c1eb58ac82eca"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:00:40.071430Z","signature_b64":"gTvy8EfGRij6GoXQIfxya6NoP7vGL841tbDXdnO6CWUfpwOj+sZ2foesC8gakuQ6Jw7NiZ79O5ogt2gBrgQUCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7baa1b24b7f5690a92f5095932534bfc1456eed70fb401b3a399c0fd8eaa29b3","last_reissued_at":"2026-05-18T03:00:40.070718Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:00:40.070718Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Towards a homotopy theory of higher dimensional transition systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"math.CT","authors_text":"Philippe Gaucher","submitted_at":"2010-11-03T15:34:39Z","abstract_excerpt":"We proved in a previous work that Cattani-Sassone's higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of weak higher dimensional transition systems. In this paper, we turn our attention to the full subcategory of weak higher dimensional transition systems which are unions of cubes. It is proved that there exists a left proper combinatorial model structure such that two objects are weakly equivalent if and only if they have the same cubes after simplification of the labelling. This model structure is ob"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.0918","kind":"arxiv","version":3},"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":"1011.0918","created_at":"2026-05-18T03:00:40.070839+00:00"},{"alias_kind":"arxiv_version","alias_value":"1011.0918v3","created_at":"2026-05-18T03:00:40.070839+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.0918","created_at":"2026-05-18T03:00:40.070839+00:00"},{"alias_kind":"pith_short_12","alias_value":"POVBWJFX6VUQ","created_at":"2026-05-18T12:26:12.377268+00:00"},{"alias_kind":"pith_short_16","alias_value":"POVBWJFX6VUQVEXV","created_at":"2026-05-18T12:26:12.377268+00:00"},{"alias_kind":"pith_short_8","alias_value":"POVBWJFX","created_at":"2026-05-18T12:26:12.377268+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/POVBWJFX6VUQVEXVBFMTEU2L7Q","json":"https://pith.science/pith/POVBWJFX6VUQVEXVBFMTEU2L7Q.json","graph_json":"https://pith.science/api/pith-number/POVBWJFX6VUQVEXVBFMTEU2L7Q/graph.json","events_json":"https://pith.science/api/pith-number/POVBWJFX6VUQVEXVBFMTEU2L7Q/events.json","paper":"https://pith.science/paper/POVBWJFX"},"agent_actions":{"view_html":"https://pith.science/pith/POVBWJFX6VUQVEXVBFMTEU2L7Q","download_json":"https://pith.science/pith/POVBWJFX6VUQVEXVBFMTEU2L7Q.json","view_paper":"https://pith.science/paper/POVBWJFX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1011.0918&json=true","fetch_graph":"https://pith.science/api/pith-number/POVBWJFX6VUQVEXVBFMTEU2L7Q/graph.json","fetch_events":"https://pith.science/api/pith-number/POVBWJFX6VUQVEXVBFMTEU2L7Q/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/POVBWJFX6VUQVEXVBFMTEU2L7Q/action/timestamp_anchor","attest_storage":"https://pith.science/pith/POVBWJFX6VUQVEXVBFMTEU2L7Q/action/storage_attestation","attest_author":"https://pith.science/pith/POVBWJFX6VUQVEXVBFMTEU2L7Q/action/author_attestation","sign_citation":"https://pith.science/pith/POVBWJFX6VUQVEXVBFMTEU2L7Q/action/citation_signature","submit_replication":"https://pith.science/pith/POVBWJFX6VUQVEXVBFMTEU2L7Q/action/replication_record"}},"created_at":"2026-05-18T03:00:40.070839+00:00","updated_at":"2026-05-18T03:00:40.070839+00:00"}