{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:6BJ5TBOUZFDXGXM5LK2KNAJ56U","short_pith_number":"pith:6BJ5TBOU","canonical_record":{"source":{"id":"2304.00447","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2023-04-02T04:36:49Z","cross_cats_sorted":[],"title_canon_sha256":"80fb536b0f4f17ea35a67ee0e6236921a2e90437e3fefb61f8313142b713e883","abstract_canon_sha256":"4e8b0e8036f74909d8ad20f56eccd4b8b096d313595300b4b30ff92bb1520cf7"},"schema_version":"1.0"},"canonical_sha256":"f053d985d4c947735d9d5ab4a6813df5159795561e80296e8673fc569a473e0e","source":{"kind":"arxiv","id":"2304.00447","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.00447","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"arxiv_version","alias_value":"2304.00447v3","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.00447","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"pith_short_12","alias_value":"6BJ5TBOUZFDX","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"pith_short_16","alias_value":"6BJ5TBOUZFDXGXM5","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"pith_short_8","alias_value":"6BJ5TBOU","created_at":"2026-07-05T07:23:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:6BJ5TBOUZFDXGXM5LK2KNAJ56U","target":"record","payload":{"canonical_record":{"source":{"id":"2304.00447","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2023-04-02T04:36:49Z","cross_cats_sorted":[],"title_canon_sha256":"80fb536b0f4f17ea35a67ee0e6236921a2e90437e3fefb61f8313142b713e883","abstract_canon_sha256":"4e8b0e8036f74909d8ad20f56eccd4b8b096d313595300b4b30ff92bb1520cf7"},"schema_version":"1.0"},"canonical_sha256":"f053d985d4c947735d9d5ab4a6813df5159795561e80296e8673fc569a473e0e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:23:56.838625Z","signature_b64":"sK9Qw5JNHtTxT7dLU5f0EDfRtldqW0qrlPlRYfqjBbDIaMX2uvWO+C6NY2OEcIqWclih8FHawC7HBqiFDyDHBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f053d985d4c947735d9d5ab4a6813df5159795561e80296e8673fc569a473e0e","last_reissued_at":"2026-07-05T07:23:56.838105Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:23:56.838105Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2304.00447","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-07-05T07:23:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/KXUwhUUvVWsTbUrZB0Q4KTFs1i4+YLUYZWEOG+mtlUdUHp+lHUkoNtoo8NKHOHWsKb/cvSwFthSlAYKyBxmAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T03:11:18.314577Z"},"content_sha256":"2a2796abb42f28eb66030f56ad843b4db48516710816edfd1ed2d59cbe067654","schema_version":"1.0","event_id":"sha256:2a2796abb42f28eb66030f56ad843b4db48516710816edfd1ed2d59cbe067654"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:6BJ5TBOUZFDXGXM5LK2KNAJ56U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Structured and Decorated Cospans from the Viewpoint of Double Category Theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Evan Patterson (Topos Institute)","submitted_at":"2023-04-02T04:36:49Z","abstract_excerpt":"Structured and decorated cospans are broadly applicable frameworks for building bicategories or double categories of open systems. We streamline and generalize these frameworks using central concepts of double category theory. We show that, under mild hypotheses, double categories of structured cospans are cocartesian (have finite double-categorical coproducts) and are equipments. The proofs are simple as they utilize appropriate double-categorical universal properties. Maps between double categories of structured cospans are studied from the same perspective. We then give a new construction o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.00447","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2304.00447/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T07:23:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EVmUwXVvzonakRtv5VXKlICRpccXHO1xqIsrOPtjPqAoZ5EDc/ymb8Dypffpdc0KqYiWtf/JWOc/vnWxQrJODg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T03:11:18.315454Z"},"content_sha256":"54d5f07c1b36f1c156a13c86cb781f52832046899523e0db972ebcddbfe66dcb","schema_version":"1.0","event_id":"sha256:54d5f07c1b36f1c156a13c86cb781f52832046899523e0db972ebcddbfe66dcb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6BJ5TBOUZFDXGXM5LK2KNAJ56U/bundle.json","state_url":"https://pith.science/pith/6BJ5TBOUZFDXGXM5LK2KNAJ56U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6BJ5TBOUZFDXGXM5LK2KNAJ56U/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-08-05T03:11:18Z","links":{"resolver":"https://pith.science/pith/6BJ5TBOUZFDXGXM5LK2KNAJ56U","bundle":"https://pith.science/pith/6BJ5TBOUZFDXGXM5LK2KNAJ56U/bundle.json","state":"https://pith.science/pith/6BJ5TBOUZFDXGXM5LK2KNAJ56U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6BJ5TBOUZFDXGXM5LK2KNAJ56U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:6BJ5TBOUZFDXGXM5LK2KNAJ56U","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":"4e8b0e8036f74909d8ad20f56eccd4b8b096d313595300b4b30ff92bb1520cf7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2023-04-02T04:36:49Z","title_canon_sha256":"80fb536b0f4f17ea35a67ee0e6236921a2e90437e3fefb61f8313142b713e883"},"schema_version":"1.0","source":{"id":"2304.00447","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.00447","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"arxiv_version","alias_value":"2304.00447v3","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.00447","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"pith_short_12","alias_value":"6BJ5TBOUZFDX","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"pith_short_16","alias_value":"6BJ5TBOUZFDXGXM5","created_at":"2026-07-05T07:23:56Z"},{"alias_kind":"pith_short_8","alias_value":"6BJ5TBOU","created_at":"2026-07-05T07:23:56Z"}],"graph_snapshots":[{"event_id":"sha256:54d5f07c1b36f1c156a13c86cb781f52832046899523e0db972ebcddbfe66dcb","target":"graph","created_at":"2026-07-05T07:23:56Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2304.00447/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Structured and decorated cospans are broadly applicable frameworks for building bicategories or double categories of open systems. We streamline and generalize these frameworks using central concepts of double category theory. We show that, under mild hypotheses, double categories of structured cospans are cocartesian (have finite double-categorical coproducts) and are equipments. The proofs are simple as they utilize appropriate double-categorical universal properties. Maps between double categories of structured cospans are studied from the same perspective. We then give a new construction o","authors_text":"Evan Patterson (Topos Institute)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2023-04-02T04:36:49Z","title":"Structured and Decorated Cospans from the Viewpoint of Double Category Theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.00447","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:2a2796abb42f28eb66030f56ad843b4db48516710816edfd1ed2d59cbe067654","target":"record","created_at":"2026-07-05T07:23:56Z","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":"4e8b0e8036f74909d8ad20f56eccd4b8b096d313595300b4b30ff92bb1520cf7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2023-04-02T04:36:49Z","title_canon_sha256":"80fb536b0f4f17ea35a67ee0e6236921a2e90437e3fefb61f8313142b713e883"},"schema_version":"1.0","source":{"id":"2304.00447","kind":"arxiv","version":3}},"canonical_sha256":"f053d985d4c947735d9d5ab4a6813df5159795561e80296e8673fc569a473e0e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f053d985d4c947735d9d5ab4a6813df5159795561e80296e8673fc569a473e0e","first_computed_at":"2026-07-05T07:23:56.838105Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:23:56.838105Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sK9Qw5JNHtTxT7dLU5f0EDfRtldqW0qrlPlRYfqjBbDIaMX2uvWO+C6NY2OEcIqWclih8FHawC7HBqiFDyDHBw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:23:56.838625Z","signed_message":"canonical_sha256_bytes"},"source_id":"2304.00447","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2a2796abb42f28eb66030f56ad843b4db48516710816edfd1ed2d59cbe067654","sha256:54d5f07c1b36f1c156a13c86cb781f52832046899523e0db972ebcddbfe66dcb"],"state_sha256":"263190c8a4492252373333f119908a79803b8c0a9c6b43269ca61f467e565776"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FTUtTDPseAIjW49rH1V4dEgHATm9jUmGWa5Gx+yGRRy3S4AgCjhYpV+l7ssM+AMauuMZrAAKGLqygUdHRWWvDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T03:11:18.323768Z","bundle_sha256":"ed6f3c76ac1e1e48ae64bb0a16b90fcc586a9aeb27157f4f8612946ef94e6d37"}}