{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:2N6EU3EVMAS6UDODGYCMXB3W5U","short_pith_number":"pith:2N6EU3EV","canonical_record":{"source":{"id":"1107.0954","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2011-07-05T19:23:38Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"baa872fa2827b64f45b199b299994f25d5e54389896b1fabfcb7bda6964232bc","abstract_canon_sha256":"2173b61c7a584e112c0333d9e8df6c8500184c359c456df9039a201ad737d7c3"},"schema_version":"1.0"},"canonical_sha256":"d37c4a6c956025ea0dc33604cb8776ed367f26627b9664461cb04f8955fd0edf","source":{"kind":"arxiv","id":"1107.0954","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.0954","created_at":"2026-05-18T03:42:34Z"},{"alias_kind":"arxiv_version","alias_value":"1107.0954v2","created_at":"2026-05-18T03:42:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.0954","created_at":"2026-05-18T03:42:34Z"},{"alias_kind":"pith_short_12","alias_value":"2N6EU3EVMAS6","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_16","alias_value":"2N6EU3EVMAS6UDOD","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_8","alias_value":"2N6EU3EV","created_at":"2026-05-18T12:26:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:2N6EU3EVMAS6UDODGYCMXB3W5U","target":"record","payload":{"canonical_record":{"source":{"id":"1107.0954","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2011-07-05T19:23:38Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"baa872fa2827b64f45b199b299994f25d5e54389896b1fabfcb7bda6964232bc","abstract_canon_sha256":"2173b61c7a584e112c0333d9e8df6c8500184c359c456df9039a201ad737d7c3"},"schema_version":"1.0"},"canonical_sha256":"d37c4a6c956025ea0dc33604cb8776ed367f26627b9664461cb04f8955fd0edf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:42:34.101914Z","signature_b64":"vwjq4ZQXDq7HvCnmWgz/7o4nytJifIRnTGdshlxH8Nioz55HDLF9yeYLjFFlHCJGhQ0mieEUbbXMt4wFBZJEAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d37c4a6c956025ea0dc33604cb8776ed367f26627b9664461cb04f8955fd0edf","last_reissued_at":"2026-05-18T03:42:34.101464Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:42:34.101464Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1107.0954","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:42:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UV1VISUpYkzk8O/LgXNrPCCXMmLne+eL15Uz4ipGkH0AKa4IVClD3aSj7srRevrpXO8FOrZ9zY+25HTWs0hjDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T16:06:15.209238Z"},"content_sha256":"d82fb2853f341162deaf306b14fc4a7bb720aef324ea66304dc4fd4384b8fd37","schema_version":"1.0","event_id":"sha256:d82fb2853f341162deaf306b14fc4a7bb720aef324ea66304dc4fd4384b8fd37"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:2N6EU3EVMAS6UDODGYCMXB3W5U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The ternary commutator obstruction for internal crossed modules","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"math.CT","authors_text":"Manfred Hartl, Tim Van der Linden","submitted_at":"2011-07-05T19:23:38Z","abstract_excerpt":"In finitely cocomplete homological categories, co-smash products give rise to (possibly higher-order) commutators of subobjects. We use binary and ternary co-smash products and the associated commutators to give characterisations of internal crossed modules and internal categories, respectively. The ternary terms are redundant if the category has the Smith is Huq property, which means that two equivalence relations on a given object commute precisely when their normalisations do. In fact, we show that the difference between the Smith commutator of such relations and the Huq commutator of their"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.0954","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:42:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I5BHazP8EJLTMpBp/hYZ5mSVJ4vm2gxuxZfdOAzQ/W+EF1GhGYSB71J90LmSPI9iyWtV5R5uF2cmdbJMHSRCDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T16:06:15.209910Z"},"content_sha256":"89113f5480895ac922397e6710f30c5e6552ae0d755a87ff52903a2f1cef4696","schema_version":"1.0","event_id":"sha256:89113f5480895ac922397e6710f30c5e6552ae0d755a87ff52903a2f1cef4696"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2N6EU3EVMAS6UDODGYCMXB3W5U/bundle.json","state_url":"https://pith.science/pith/2N6EU3EVMAS6UDODGYCMXB3W5U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2N6EU3EVMAS6UDODGYCMXB3W5U/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-05-26T16:06:15Z","links":{"resolver":"https://pith.science/pith/2N6EU3EVMAS6UDODGYCMXB3W5U","bundle":"https://pith.science/pith/2N6EU3EVMAS6UDODGYCMXB3W5U/bundle.json","state":"https://pith.science/pith/2N6EU3EVMAS6UDODGYCMXB3W5U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2N6EU3EVMAS6UDODGYCMXB3W5U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:2N6EU3EVMAS6UDODGYCMXB3W5U","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":"2173b61c7a584e112c0333d9e8df6c8500184c359c456df9039a201ad737d7c3","cross_cats_sorted":["math.AT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2011-07-05T19:23:38Z","title_canon_sha256":"baa872fa2827b64f45b199b299994f25d5e54389896b1fabfcb7bda6964232bc"},"schema_version":"1.0","source":{"id":"1107.0954","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.0954","created_at":"2026-05-18T03:42:34Z"},{"alias_kind":"arxiv_version","alias_value":"1107.0954v2","created_at":"2026-05-18T03:42:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.0954","created_at":"2026-05-18T03:42:34Z"},{"alias_kind":"pith_short_12","alias_value":"2N6EU3EVMAS6","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_16","alias_value":"2N6EU3EVMAS6UDOD","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_8","alias_value":"2N6EU3EV","created_at":"2026-05-18T12:26:18Z"}],"graph_snapshots":[{"event_id":"sha256:89113f5480895ac922397e6710f30c5e6552ae0d755a87ff52903a2f1cef4696","target":"graph","created_at":"2026-05-18T03:42:34Z","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":"In finitely cocomplete homological categories, co-smash products give rise to (possibly higher-order) commutators of subobjects. We use binary and ternary co-smash products and the associated commutators to give characterisations of internal crossed modules and internal categories, respectively. The ternary terms are redundant if the category has the Smith is Huq property, which means that two equivalence relations on a given object commute precisely when their normalisations do. In fact, we show that the difference between the Smith commutator of such relations and the Huq commutator of their","authors_text":"Manfred Hartl, Tim Van der Linden","cross_cats":["math.AT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2011-07-05T19:23:38Z","title":"The ternary commutator obstruction for internal crossed modules"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.0954","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:d82fb2853f341162deaf306b14fc4a7bb720aef324ea66304dc4fd4384b8fd37","target":"record","created_at":"2026-05-18T03:42:34Z","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":"2173b61c7a584e112c0333d9e8df6c8500184c359c456df9039a201ad737d7c3","cross_cats_sorted":["math.AT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2011-07-05T19:23:38Z","title_canon_sha256":"baa872fa2827b64f45b199b299994f25d5e54389896b1fabfcb7bda6964232bc"},"schema_version":"1.0","source":{"id":"1107.0954","kind":"arxiv","version":2}},"canonical_sha256":"d37c4a6c956025ea0dc33604cb8776ed367f26627b9664461cb04f8955fd0edf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d37c4a6c956025ea0dc33604cb8776ed367f26627b9664461cb04f8955fd0edf","first_computed_at":"2026-05-18T03:42:34.101464Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:42:34.101464Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vwjq4ZQXDq7HvCnmWgz/7o4nytJifIRnTGdshlxH8Nioz55HDLF9yeYLjFFlHCJGhQ0mieEUbbXMt4wFBZJEAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:42:34.101914Z","signed_message":"canonical_sha256_bytes"},"source_id":"1107.0954","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d82fb2853f341162deaf306b14fc4a7bb720aef324ea66304dc4fd4384b8fd37","sha256:89113f5480895ac922397e6710f30c5e6552ae0d755a87ff52903a2f1cef4696"],"state_sha256":"cbf26721cb64ade04fdc67339eabbe27d4a11874b08a931903b14c2c5c179948"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4jYn33FEPXC0xKRHT+Ndrt0tZD0J/qSrVXtxNsstYq4ytngMV+ja5gk6cyCQJLz2xu7XvWuEyTUzDxBexclxAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T16:06:15.213459Z","bundle_sha256":"5c11dcbd401f75c99a784ecfc9ae03bdd9aba0adea891ee277ee491c12057eb8"}}