{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:POVBWJFX6VUQVEXVBFMTEU2L7Q","short_pith_number":"pith:POVBWJFX","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"},"canonical_sha256":"7baa1b24b7f5690a92f5095932534bfc1456eed70fb401b3a399c0fd8eaa29b3","source":{"kind":"arxiv","id":"1011.0918","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.0918","created_at":"2026-05-18T03:00:40Z"},{"alias_kind":"arxiv_version","alias_value":"1011.0918v3","created_at":"2026-05-18T03:00:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.0918","created_at":"2026-05-18T03:00:40Z"},{"alias_kind":"pith_short_12","alias_value":"POVBWJFX6VUQ","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"POVBWJFX6VUQVEXV","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"POVBWJFX","created_at":"2026-05-18T12:26:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:POVBWJFX6VUQVEXVBFMTEU2L7Q","target":"record","payload":{"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"},"canonical_sha256":"7baa1b24b7f5690a92f5095932534bfc1456eed70fb401b3a399c0fd8eaa29b3","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"},"source_kind":"arxiv","source_id":"1011.0918","source_version":3,"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-18T03:00:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6ytu2zFXBaZDs95TsWXu3h9ld5SIQsL0e2Q6grwsYKmhRMcuR9vu5r2povNgC/RZi7BtWCv0pl3MTqJhtmOdDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T00:43:29.747969Z"},"content_sha256":"b79b2e2387c046c257cd96f4e36d5d48a31b36c17736bf59a3f0564af3822fac","schema_version":"1.0","event_id":"sha256:b79b2e2387c046c257cd96f4e36d5d48a31b36c17736bf59a3f0564af3822fac"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:POVBWJFX6VUQVEXVBFMTEU2L7Q","target":"graph","payload":{"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"},"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-18T03:00:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KcfrNM4esrTC7uLCEzKYutgecZXZOJ3C29X1aZ44Ypd+PECqfHiQpxOWSMzb0/+0FmgrYMv+VDBpwt72WhLECg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T00:43:29.748300Z"},"content_sha256":"da7baf6dc2e5616432302bed57f75d18053f1bb7341bc5fa981cd5bdb553d2ed","schema_version":"1.0","event_id":"sha256:da7baf6dc2e5616432302bed57f75d18053f1bb7341bc5fa981cd5bdb553d2ed"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/POVBWJFX6VUQVEXVBFMTEU2L7Q/bundle.json","state_url":"https://pith.science/pith/POVBWJFX6VUQVEXVBFMTEU2L7Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/POVBWJFX6VUQVEXVBFMTEU2L7Q/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-28T00:43:29Z","links":{"resolver":"https://pith.science/pith/POVBWJFX6VUQVEXVBFMTEU2L7Q","bundle":"https://pith.science/pith/POVBWJFX6VUQVEXVBFMTEU2L7Q/bundle.json","state":"https://pith.science/pith/POVBWJFX6VUQVEXVBFMTEU2L7Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/POVBWJFX6VUQVEXVBFMTEU2L7Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:POVBWJFX6VUQVEXVBFMTEU2L7Q","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":"a6c9285848941a40a921ebf8da9d823a898a94c216a7bf35db8c1eb58ac82eca","cross_cats_sorted":["math.AT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2010-11-03T15:34:39Z","title_canon_sha256":"e7464f1eacd2bb0d4adc7ae801201e5981499c49e2d82d47c08be887081c989c"},"schema_version":"1.0","source":{"id":"1011.0918","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.0918","created_at":"2026-05-18T03:00:40Z"},{"alias_kind":"arxiv_version","alias_value":"1011.0918v3","created_at":"2026-05-18T03:00:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.0918","created_at":"2026-05-18T03:00:40Z"},{"alias_kind":"pith_short_12","alias_value":"POVBWJFX6VUQ","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"POVBWJFX6VUQVEXV","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"POVBWJFX","created_at":"2026-05-18T12:26:12Z"}],"graph_snapshots":[{"event_id":"sha256:da7baf6dc2e5616432302bed57f75d18053f1bb7341bc5fa981cd5bdb553d2ed","target":"graph","created_at":"2026-05-18T03:00:40Z","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":"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","authors_text":"Philippe Gaucher","cross_cats":["math.AT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2010-11-03T15:34:39Z","title":"Towards a homotopy theory of higher dimensional transition systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.0918","kind":"arxiv","version":3},"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:b79b2e2387c046c257cd96f4e36d5d48a31b36c17736bf59a3f0564af3822fac","target":"record","created_at":"2026-05-18T03:00:40Z","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":"a6c9285848941a40a921ebf8da9d823a898a94c216a7bf35db8c1eb58ac82eca","cross_cats_sorted":["math.AT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2010-11-03T15:34:39Z","title_canon_sha256":"e7464f1eacd2bb0d4adc7ae801201e5981499c49e2d82d47c08be887081c989c"},"schema_version":"1.0","source":{"id":"1011.0918","kind":"arxiv","version":3}},"canonical_sha256":"7baa1b24b7f5690a92f5095932534bfc1456eed70fb401b3a399c0fd8eaa29b3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7baa1b24b7f5690a92f5095932534bfc1456eed70fb401b3a399c0fd8eaa29b3","first_computed_at":"2026-05-18T03:00:40.070718Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:00:40.070718Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gTvy8EfGRij6GoXQIfxya6NoP7vGL841tbDXdnO6CWUfpwOj+sZ2foesC8gakuQ6Jw7NiZ79O5ogt2gBrgQUCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:00:40.071430Z","signed_message":"canonical_sha256_bytes"},"source_id":"1011.0918","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b79b2e2387c046c257cd96f4e36d5d48a31b36c17736bf59a3f0564af3822fac","sha256:da7baf6dc2e5616432302bed57f75d18053f1bb7341bc5fa981cd5bdb553d2ed"],"state_sha256":"e5e76b1cbfc618c729f124e562a64ce520221f4836ced3da272c1a6371cc9d74"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/0gVVQHuxzmmm3vl4O611hX/CT6tXOFToWL3wv5v8piVT3iLCzalo8u3ktZHDgGdqNXOih2ocEC+rpxheAMcAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T00:43:29.750062Z","bundle_sha256":"e7a7d70fe6962c7170e3081c7a419139e9412aa6143f0a77c860c5174c842883"}}