{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:EMLM2Y6XPZVWR2LVX37ZOAPURF","short_pith_number":"pith:EMLM2Y6X","canonical_record":{"source":{"id":"0908.3347","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2009-08-23T23:53:43Z","cross_cats_sorted":[],"title_canon_sha256":"8ac6681dfd52174d29eb53382e91efb17b0c891e1233071c75c9f3ddb28be393","abstract_canon_sha256":"822615b00a3ac5dd25d78c1acb89995a0cb9ea97da655e0dda689c96e3caca18"},"schema_version":"1.0"},"canonical_sha256":"2316cd63d77e6b68e975beff9701f4894ef084ffbeda4548b48bd7c52d4a0318","source":{"kind":"arxiv","id":"0908.3347","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0908.3347","created_at":"2026-05-18T03:49:58Z"},{"alias_kind":"arxiv_version","alias_value":"0908.3347v1","created_at":"2026-05-18T03:49:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0908.3347","created_at":"2026-05-18T03:49:58Z"},{"alias_kind":"pith_short_12","alias_value":"EMLM2Y6XPZVW","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_16","alias_value":"EMLM2Y6XPZVWR2LV","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_8","alias_value":"EMLM2Y6X","created_at":"2026-05-18T12:25:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:EMLM2Y6XPZVWR2LVX37ZOAPURF","target":"record","payload":{"canonical_record":{"source":{"id":"0908.3347","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2009-08-23T23:53:43Z","cross_cats_sorted":[],"title_canon_sha256":"8ac6681dfd52174d29eb53382e91efb17b0c891e1233071c75c9f3ddb28be393","abstract_canon_sha256":"822615b00a3ac5dd25d78c1acb89995a0cb9ea97da655e0dda689c96e3caca18"},"schema_version":"1.0"},"canonical_sha256":"2316cd63d77e6b68e975beff9701f4894ef084ffbeda4548b48bd7c52d4a0318","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:49:58.743196Z","signature_b64":"BFTVubKGjNVCQm+7ob/qnnz0zHK9vbv8oWef9gx3bcHT4MHHH+CgCk12hdFcrzwJhPla5EljXOTQEvfbnbOoBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2316cd63d77e6b68e975beff9701f4894ef084ffbeda4548b48bd7c52d4a0318","last_reissued_at":"2026-05-18T03:49:58.742724Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:49:58.742724Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0908.3347","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-18T03:49:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UlAyy+d/AH6CZOQAq+CVLkJcC1c4gA01Fwz2C9SZE/LCjNbCeKK5aGpB2ueWLy//QUvRC49ZRuKR+tq42yK1DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T22:30:38.838235Z"},"content_sha256":"93ab2a87a65bd82f1b9342bda6fbb631d6647a2e1cc63f051e5e8421259505a6","schema_version":"1.0","event_id":"sha256:93ab2a87a65bd82f1b9342bda6fbb631d6647a2e1cc63f051e5e8421259505a6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:EMLM2Y6XPZVWR2LVX37ZOAPURF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A survey of graphical languages for monoidal categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Peter Selinger","submitted_at":"2009-08-23T23:53:43Z","abstract_excerpt":"This article is intended as a reference guide to various notions of monoidal categories and their associated string diagrams. It is hoped that this will be useful not just to mathematicians, but also to physicists, computer scientists, and others who use diagrammatic reasoning. We have opted for a somewhat informal treatment of topological notions, and have omitted most proofs. Nevertheless, the exposition is sufficiently detailed to make it clear what is presently known, and to serve as a starting place for more in-depth study. Where possible, we provide pointers to more rigorous treatments i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0908.3347","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-18T03:49:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L3XhNkTgczoo1VODRX8SJsDxbM4ks6wfRMVsVhgWRhE4LT58k1SxRFnwiJxSfK0ULtmv8Nv5XCgKlwviGMHaBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T22:30:38.838650Z"},"content_sha256":"af291633592f0315ba6d1778c06bdd0dc0bdbb4f457edd4eca9a2da277c92147","schema_version":"1.0","event_id":"sha256:af291633592f0315ba6d1778c06bdd0dc0bdbb4f457edd4eca9a2da277c92147"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EMLM2Y6XPZVWR2LVX37ZOAPURF/bundle.json","state_url":"https://pith.science/pith/EMLM2Y6XPZVWR2LVX37ZOAPURF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EMLM2Y6XPZVWR2LVX37ZOAPURF/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-25T22:30:38Z","links":{"resolver":"https://pith.science/pith/EMLM2Y6XPZVWR2LVX37ZOAPURF","bundle":"https://pith.science/pith/EMLM2Y6XPZVWR2LVX37ZOAPURF/bundle.json","state":"https://pith.science/pith/EMLM2Y6XPZVWR2LVX37ZOAPURF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EMLM2Y6XPZVWR2LVX37ZOAPURF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:EMLM2Y6XPZVWR2LVX37ZOAPURF","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":"822615b00a3ac5dd25d78c1acb89995a0cb9ea97da655e0dda689c96e3caca18","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2009-08-23T23:53:43Z","title_canon_sha256":"8ac6681dfd52174d29eb53382e91efb17b0c891e1233071c75c9f3ddb28be393"},"schema_version":"1.0","source":{"id":"0908.3347","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0908.3347","created_at":"2026-05-18T03:49:58Z"},{"alias_kind":"arxiv_version","alias_value":"0908.3347v1","created_at":"2026-05-18T03:49:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0908.3347","created_at":"2026-05-18T03:49:58Z"},{"alias_kind":"pith_short_12","alias_value":"EMLM2Y6XPZVW","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_16","alias_value":"EMLM2Y6XPZVWR2LV","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_8","alias_value":"EMLM2Y6X","created_at":"2026-05-18T12:25:59Z"}],"graph_snapshots":[{"event_id":"sha256:af291633592f0315ba6d1778c06bdd0dc0bdbb4f457edd4eca9a2da277c92147","target":"graph","created_at":"2026-05-18T03:49:58Z","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":"This article is intended as a reference guide to various notions of monoidal categories and their associated string diagrams. It is hoped that this will be useful not just to mathematicians, but also to physicists, computer scientists, and others who use diagrammatic reasoning. We have opted for a somewhat informal treatment of topological notions, and have omitted most proofs. Nevertheless, the exposition is sufficiently detailed to make it clear what is presently known, and to serve as a starting place for more in-depth study. Where possible, we provide pointers to more rigorous treatments i","authors_text":"Peter Selinger","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2009-08-23T23:53:43Z","title":"A survey of graphical languages for monoidal categories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0908.3347","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:93ab2a87a65bd82f1b9342bda6fbb631d6647a2e1cc63f051e5e8421259505a6","target":"record","created_at":"2026-05-18T03:49:58Z","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":"822615b00a3ac5dd25d78c1acb89995a0cb9ea97da655e0dda689c96e3caca18","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2009-08-23T23:53:43Z","title_canon_sha256":"8ac6681dfd52174d29eb53382e91efb17b0c891e1233071c75c9f3ddb28be393"},"schema_version":"1.0","source":{"id":"0908.3347","kind":"arxiv","version":1}},"canonical_sha256":"2316cd63d77e6b68e975beff9701f4894ef084ffbeda4548b48bd7c52d4a0318","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2316cd63d77e6b68e975beff9701f4894ef084ffbeda4548b48bd7c52d4a0318","first_computed_at":"2026-05-18T03:49:58.742724Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:49:58.742724Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BFTVubKGjNVCQm+7ob/qnnz0zHK9vbv8oWef9gx3bcHT4MHHH+CgCk12hdFcrzwJhPla5EljXOTQEvfbnbOoBg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:49:58.743196Z","signed_message":"canonical_sha256_bytes"},"source_id":"0908.3347","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:93ab2a87a65bd82f1b9342bda6fbb631d6647a2e1cc63f051e5e8421259505a6","sha256:af291633592f0315ba6d1778c06bdd0dc0bdbb4f457edd4eca9a2da277c92147"],"state_sha256":"0ebce632d88997079d095d69fbe609e3358b9598fd0cdc0907e3706728fdb4db"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fyMFT/8lLKT65FowoirlpDRZwziw5Yicjyht+1xAX+Aqfk+Kwxv4IQXPqv3FgU8aXz1zwFpEFyZFkKTG373WBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T22:30:38.841034Z","bundle_sha256":"78ee1616ead4e1fd74b27925a5234a000007aee06cefe69ee6d7dda7c7006298"}}