{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:EKNKWZZOASLKDUWZHU5CKOVGVK","short_pith_number":"pith:EKNKWZZO","canonical_record":{"source":{"id":"1406.7854","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-06-30T18:58:15Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"2d309ed16d603fbe38dc9e3269eaf05ffca1c9be3a79c7ee2ef524670933052f","abstract_canon_sha256":"b7cb7bdfaf8b02aa68d4a60cd04d80342d15c84fa5701d26afc6093c59903d2e"},"schema_version":"1.0"},"canonical_sha256":"229aab672e0496a1d2d93d3a253aa6aa8cf7e9e7670e3a4f0b51fc0578a3c9aa","source":{"kind":"arxiv","id":"1406.7854","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.7854","created_at":"2026-05-18T02:48:44Z"},{"alias_kind":"arxiv_version","alias_value":"1406.7854v1","created_at":"2026-05-18T02:48:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.7854","created_at":"2026-05-18T02:48:44Z"},{"alias_kind":"pith_short_12","alias_value":"EKNKWZZOASLK","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"EKNKWZZOASLKDUWZ","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"EKNKWZZO","created_at":"2026-05-18T12:28:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:EKNKWZZOASLKDUWZHU5CKOVGVK","target":"record","payload":{"canonical_record":{"source":{"id":"1406.7854","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-06-30T18:58:15Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"2d309ed16d603fbe38dc9e3269eaf05ffca1c9be3a79c7ee2ef524670933052f","abstract_canon_sha256":"b7cb7bdfaf8b02aa68d4a60cd04d80342d15c84fa5701d26afc6093c59903d2e"},"schema_version":"1.0"},"canonical_sha256":"229aab672e0496a1d2d93d3a253aa6aa8cf7e9e7670e3a4f0b51fc0578a3c9aa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:48:44.007410Z","signature_b64":"QmTeAFlFzGXo4+tDgSi1ci7um7GT4PQoMM0Jp7jteBBwmGFIvtv88nZUQkyjQP6D57LIts+XEh48sFl9f5gcAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"229aab672e0496a1d2d93d3a253aa6aa8cf7e9e7670e3a4f0b51fc0578a3c9aa","last_reissued_at":"2026-05-18T02:48:44.006880Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:48:44.006880Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1406.7854","source_version":1,"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-18T02:48:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zgBMFsgD6l285shjp4qv+Q1uNYUSnmglO5kKckuDem8YKQ8lTOiq0d5DAA4BouRmlJCoDsKBxWfEVBe/p0X6BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T20:13:29.576050Z"},"content_sha256":"59359f59790331eb32d186c5dbd0f4df13a2895388c9bdbcad2aa9c645496f62","schema_version":"1.0","event_id":"sha256:59359f59790331eb32d186c5dbd0f4df13a2895388c9bdbcad2aa9c645496f62"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:EKNKWZZOASLKDUWZHU5CKOVGVK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The linearity of traces in monoidal categories and bicategories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"math.CT","authors_text":"Kate Ponto, Michael Shulman","submitted_at":"2014-06-30T18:58:15Z","abstract_excerpt":"We show that in any symmetric monoidal category, if a weight for colimits is absolute, then the resulting colimit of any diagram of dualizable objects is again dualizable. Moreover, in this case, if an endomorphism of the colimit is induced by an endomorphism of the diagram, then its trace can be calculated as a linear combination of traces on the objects in the diagram. The formal nature of this result makes it easy to generalize to traces in homotopical contexts (using derivators) and traces in bicategories. These generalizations include the familiar additivity of the Euler characteristic an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.7854","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":""},"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-18T02:48:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c1A9Js7KXBR0oqZh7Dl6CJ7QR3arBbflxhQDA4ev9A43obgMtdo2f/SN6D4GhaHWLBxcHHloLmKCABJ2kTyEDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T20:13:29.576441Z"},"content_sha256":"fec9f92dc910109dbe449bd29776555e08f3eb3073f0a1776b2b296545a4c997","schema_version":"1.0","event_id":"sha256:fec9f92dc910109dbe449bd29776555e08f3eb3073f0a1776b2b296545a4c997"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EKNKWZZOASLKDUWZHU5CKOVGVK/bundle.json","state_url":"https://pith.science/pith/EKNKWZZOASLKDUWZHU5CKOVGVK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EKNKWZZOASLKDUWZHU5CKOVGVK/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-30T20:13:29Z","links":{"resolver":"https://pith.science/pith/EKNKWZZOASLKDUWZHU5CKOVGVK","bundle":"https://pith.science/pith/EKNKWZZOASLKDUWZHU5CKOVGVK/bundle.json","state":"https://pith.science/pith/EKNKWZZOASLKDUWZHU5CKOVGVK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EKNKWZZOASLKDUWZHU5CKOVGVK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:EKNKWZZOASLKDUWZHU5CKOVGVK","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":"b7cb7bdfaf8b02aa68d4a60cd04d80342d15c84fa5701d26afc6093c59903d2e","cross_cats_sorted":["math.AT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-06-30T18:58:15Z","title_canon_sha256":"2d309ed16d603fbe38dc9e3269eaf05ffca1c9be3a79c7ee2ef524670933052f"},"schema_version":"1.0","source":{"id":"1406.7854","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.7854","created_at":"2026-05-18T02:48:44Z"},{"alias_kind":"arxiv_version","alias_value":"1406.7854v1","created_at":"2026-05-18T02:48:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.7854","created_at":"2026-05-18T02:48:44Z"},{"alias_kind":"pith_short_12","alias_value":"EKNKWZZOASLK","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"EKNKWZZOASLKDUWZ","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"EKNKWZZO","created_at":"2026-05-18T12:28:28Z"}],"graph_snapshots":[{"event_id":"sha256:fec9f92dc910109dbe449bd29776555e08f3eb3073f0a1776b2b296545a4c997","target":"graph","created_at":"2026-05-18T02:48:44Z","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 show that in any symmetric monoidal category, if a weight for colimits is absolute, then the resulting colimit of any diagram of dualizable objects is again dualizable. Moreover, in this case, if an endomorphism of the colimit is induced by an endomorphism of the diagram, then its trace can be calculated as a linear combination of traces on the objects in the diagram. The formal nature of this result makes it easy to generalize to traces in homotopical contexts (using derivators) and traces in bicategories. These generalizations include the familiar additivity of the Euler characteristic an","authors_text":"Kate Ponto, Michael Shulman","cross_cats":["math.AT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-06-30T18:58:15Z","title":"The linearity of traces in monoidal categories and bicategories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.7854","kind":"arxiv","version":1},"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:59359f59790331eb32d186c5dbd0f4df13a2895388c9bdbcad2aa9c645496f62","target":"record","created_at":"2026-05-18T02:48:44Z","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":"b7cb7bdfaf8b02aa68d4a60cd04d80342d15c84fa5701d26afc6093c59903d2e","cross_cats_sorted":["math.AT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-06-30T18:58:15Z","title_canon_sha256":"2d309ed16d603fbe38dc9e3269eaf05ffca1c9be3a79c7ee2ef524670933052f"},"schema_version":"1.0","source":{"id":"1406.7854","kind":"arxiv","version":1}},"canonical_sha256":"229aab672e0496a1d2d93d3a253aa6aa8cf7e9e7670e3a4f0b51fc0578a3c9aa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"229aab672e0496a1d2d93d3a253aa6aa8cf7e9e7670e3a4f0b51fc0578a3c9aa","first_computed_at":"2026-05-18T02:48:44.006880Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:48:44.006880Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QmTeAFlFzGXo4+tDgSi1ci7um7GT4PQoMM0Jp7jteBBwmGFIvtv88nZUQkyjQP6D57LIts+XEh48sFl9f5gcAA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:48:44.007410Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.7854","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:59359f59790331eb32d186c5dbd0f4df13a2895388c9bdbcad2aa9c645496f62","sha256:fec9f92dc910109dbe449bd29776555e08f3eb3073f0a1776b2b296545a4c997"],"state_sha256":"d5b9cf6774a0e0d4620bbee1078b653a33e412d30c90395822286e7cbb0e2028"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G6G3tUD+NgXXTfd5c0lwlNo6OjDEZT9rVSCUq6qbxsnYRLXHE4ybKnwEMlM2HvHwNOqI5HYk69WYsWySQkHtCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T20:13:29.578620Z","bundle_sha256":"3c7ae639e5c83a2a83839631577879759cede3d489bbf90ecd8667ad577dc94b"}}