{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:O223R2A5HJL6TEUJMEICVOHMDJ","short_pith_number":"pith:O223R2A5","canonical_record":{"source":{"id":"1009.5609","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2010-09-28T15:54:37Z","cross_cats_sorted":[],"title_canon_sha256":"d4d0288a8d9fd0975bd9e89a54de5d7cfd41f2c8971fce076bf5e8ffbd2953fa","abstract_canon_sha256":"8ba55082fc29f770d420018db35aa0ecd952bf7fbb69056a0d08e5c8c5262c4b"},"schema_version":"1.0"},"canonical_sha256":"76b5b8e81d3a57e9928961102ab8ec1a616448d340533ace7c171663cbf6604d","source":{"kind":"arxiv","id":"1009.5609","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1009.5609","created_at":"2026-05-18T03:10:37Z"},{"alias_kind":"arxiv_version","alias_value":"1009.5609v2","created_at":"2026-05-18T03:10:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.5609","created_at":"2026-05-18T03:10:37Z"},{"alias_kind":"pith_short_12","alias_value":"O223R2A5HJL6","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"O223R2A5HJL6TEUJ","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"O223R2A5","created_at":"2026-05-18T12:26:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:O223R2A5HJL6TEUJMEICVOHMDJ","target":"record","payload":{"canonical_record":{"source":{"id":"1009.5609","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2010-09-28T15:54:37Z","cross_cats_sorted":[],"title_canon_sha256":"d4d0288a8d9fd0975bd9e89a54de5d7cfd41f2c8971fce076bf5e8ffbd2953fa","abstract_canon_sha256":"8ba55082fc29f770d420018db35aa0ecd952bf7fbb69056a0d08e5c8c5262c4b"},"schema_version":"1.0"},"canonical_sha256":"76b5b8e81d3a57e9928961102ab8ec1a616448d340533ace7c171663cbf6604d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:10:37.725355Z","signature_b64":"uyXDjOZFukYbje+3QztMml7hN9MBNyj5VE0zuknDwdCu0R41a3oL7Rzcf2UB68t4YmSR3PxRjpm4R8fyLuIyAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"76b5b8e81d3a57e9928961102ab8ec1a616448d340533ace7c171663cbf6604d","last_reissued_at":"2026-05-18T03:10:37.724623Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:10:37.724623Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1009.5609","source_version":2,"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:10:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AL3GFWieJl7Df8HykLSK3Mho99h/CZlcNSiAfUTy9Ihi7ImEfMMddtYcU+NAPJhq+UculQ/7J1iDkmNMq6WUBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T19:27:30.239208Z"},"content_sha256":"332b81e4df214168c960cdd5d0f8c8644c7efc9b6e750b78ba44e24bed460a57","schema_version":"1.0","event_id":"sha256:332b81e4df214168c960cdd5d0f8c8644c7efc9b6e750b78ba44e24bed460a57"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:O223R2A5HJL6TEUJMEICVOHMDJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Covering morphisms of crossed complexes and of cubical omega-groupoids with connection are closed under tensor product","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AT","authors_text":"Ronald Brown, Ross Street","submitted_at":"2010-09-28T15:54:37Z","abstract_excerpt":"The aim is the theorems of the title and the corollary that the tensor product of two free crossed resolutions of groups or groupoids is also a free crossed resolution of the product group or groupoid. The route to this corollary is through the equivalence of the category of crossed complexes with that of cubical omega-groupoids with connections where the initial definition of the tensor product lies. It is also in the latter category that we are able to apply techniques of dense subcategories to identify the tensor product of covering morphisms as a covering morphism."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.5609","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":""},"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:10:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xoxBWKlKOxK614BxBOlhitSnv1F+6yLOvZuTsPX56FkgaVzpZvU+foTezNeW1UqzyYrhnz3wV0aFG7pAohIfDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T19:27:30.239569Z"},"content_sha256":"23460db951f3085ebcec5b38bf3759db05135b5b0b4e648baf1350250752e4b6","schema_version":"1.0","event_id":"sha256:23460db951f3085ebcec5b38bf3759db05135b5b0b4e648baf1350250752e4b6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O223R2A5HJL6TEUJMEICVOHMDJ/bundle.json","state_url":"https://pith.science/pith/O223R2A5HJL6TEUJMEICVOHMDJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O223R2A5HJL6TEUJMEICVOHMDJ/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-24T19:27:30Z","links":{"resolver":"https://pith.science/pith/O223R2A5HJL6TEUJMEICVOHMDJ","bundle":"https://pith.science/pith/O223R2A5HJL6TEUJMEICVOHMDJ/bundle.json","state":"https://pith.science/pith/O223R2A5HJL6TEUJMEICVOHMDJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O223R2A5HJL6TEUJMEICVOHMDJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:O223R2A5HJL6TEUJMEICVOHMDJ","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":"8ba55082fc29f770d420018db35aa0ecd952bf7fbb69056a0d08e5c8c5262c4b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2010-09-28T15:54:37Z","title_canon_sha256":"d4d0288a8d9fd0975bd9e89a54de5d7cfd41f2c8971fce076bf5e8ffbd2953fa"},"schema_version":"1.0","source":{"id":"1009.5609","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1009.5609","created_at":"2026-05-18T03:10:37Z"},{"alias_kind":"arxiv_version","alias_value":"1009.5609v2","created_at":"2026-05-18T03:10:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.5609","created_at":"2026-05-18T03:10:37Z"},{"alias_kind":"pith_short_12","alias_value":"O223R2A5HJL6","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"O223R2A5HJL6TEUJ","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"O223R2A5","created_at":"2026-05-18T12:26:12Z"}],"graph_snapshots":[{"event_id":"sha256:23460db951f3085ebcec5b38bf3759db05135b5b0b4e648baf1350250752e4b6","target":"graph","created_at":"2026-05-18T03:10:37Z","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":"The aim is the theorems of the title and the corollary that the tensor product of two free crossed resolutions of groups or groupoids is also a free crossed resolution of the product group or groupoid. The route to this corollary is through the equivalence of the category of crossed complexes with that of cubical omega-groupoids with connections where the initial definition of the tensor product lies. It is also in the latter category that we are able to apply techniques of dense subcategories to identify the tensor product of covering morphisms as a covering morphism.","authors_text":"Ronald Brown, Ross Street","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2010-09-28T15:54:37Z","title":"Covering morphisms of crossed complexes and of cubical omega-groupoids with connection are closed under tensor product"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.5609","kind":"arxiv","version":2},"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:332b81e4df214168c960cdd5d0f8c8644c7efc9b6e750b78ba44e24bed460a57","target":"record","created_at":"2026-05-18T03:10:37Z","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":"8ba55082fc29f770d420018db35aa0ecd952bf7fbb69056a0d08e5c8c5262c4b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2010-09-28T15:54:37Z","title_canon_sha256":"d4d0288a8d9fd0975bd9e89a54de5d7cfd41f2c8971fce076bf5e8ffbd2953fa"},"schema_version":"1.0","source":{"id":"1009.5609","kind":"arxiv","version":2}},"canonical_sha256":"76b5b8e81d3a57e9928961102ab8ec1a616448d340533ace7c171663cbf6604d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"76b5b8e81d3a57e9928961102ab8ec1a616448d340533ace7c171663cbf6604d","first_computed_at":"2026-05-18T03:10:37.724623Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:10:37.724623Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uyXDjOZFukYbje+3QztMml7hN9MBNyj5VE0zuknDwdCu0R41a3oL7Rzcf2UB68t4YmSR3PxRjpm4R8fyLuIyAw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:10:37.725355Z","signed_message":"canonical_sha256_bytes"},"source_id":"1009.5609","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:332b81e4df214168c960cdd5d0f8c8644c7efc9b6e750b78ba44e24bed460a57","sha256:23460db951f3085ebcec5b38bf3759db05135b5b0b4e648baf1350250752e4b6"],"state_sha256":"43b9dbaf13ea897b5f837f69a43acaa3df3f843f6e07345da0ff80f3eeae6184"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r/C1G1TC+bjjfQ+yslL97Pk3XkvqTxga2CXTgLYSxPWX+IcuOo0qtKjit5TTUJ8fv+hyPnEBuVjA/XoNa+4kBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T19:27:30.241437Z","bundle_sha256":"9920b091ee27ccedcbdce8e5300bdbe310ce4d708e6ea57a9b86071825c0f53d"}}