{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:6BJ5TBOUZFDXGXM5LK2KNAJ56U","short_pith_number":"pith:6BJ5TBOU","schema_version":"1.0","canonical_sha256":"f053d985d4c947735d9d5ab4a6813df5159795561e80296e8673fc569a473e0e","source":{"kind":"arxiv","id":"2304.00447","version":3},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2304.00447","created_at":"2026-07-05T07:23:56.838176+00:00"},{"alias_kind":"arxiv_version","alias_value":"2304.00447v3","created_at":"2026-07-05T07:23:56.838176+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.00447","created_at":"2026-07-05T07:23:56.838176+00:00"},{"alias_kind":"pith_short_12","alias_value":"6BJ5TBOUZFDX","created_at":"2026-07-05T07:23:56.838176+00:00"},{"alias_kind":"pith_short_16","alias_value":"6BJ5TBOUZFDXGXM5","created_at":"2026-07-05T07:23:56.838176+00:00"},{"alias_kind":"pith_short_8","alias_value":"6BJ5TBOU","created_at":"2026-07-05T07:23:56.838176+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6BJ5TBOUZFDXGXM5LK2KNAJ56U","json":"https://pith.science/pith/6BJ5TBOUZFDXGXM5LK2KNAJ56U.json","graph_json":"https://pith.science/api/pith-number/6BJ5TBOUZFDXGXM5LK2KNAJ56U/graph.json","events_json":"https://pith.science/api/pith-number/6BJ5TBOUZFDXGXM5LK2KNAJ56U/events.json","paper":"https://pith.science/paper/6BJ5TBOU"},"agent_actions":{"view_html":"https://pith.science/pith/6BJ5TBOUZFDXGXM5LK2KNAJ56U","download_json":"https://pith.science/pith/6BJ5TBOUZFDXGXM5LK2KNAJ56U.json","view_paper":"https://pith.science/paper/6BJ5TBOU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2304.00447&json=true","fetch_graph":"https://pith.science/api/pith-number/6BJ5TBOUZFDXGXM5LK2KNAJ56U/graph.json","fetch_events":"https://pith.science/api/pith-number/6BJ5TBOUZFDXGXM5LK2KNAJ56U/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6BJ5TBOUZFDXGXM5LK2KNAJ56U/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6BJ5TBOUZFDXGXM5LK2KNAJ56U/action/storage_attestation","attest_author":"https://pith.science/pith/6BJ5TBOUZFDXGXM5LK2KNAJ56U/action/author_attestation","sign_citation":"https://pith.science/pith/6BJ5TBOUZFDXGXM5LK2KNAJ56U/action/citation_signature","submit_replication":"https://pith.science/pith/6BJ5TBOUZFDXGXM5LK2KNAJ56U/action/replication_record"}},"created_at":"2026-07-05T07:23:56.838176+00:00","updated_at":"2026-07-05T07:23:56.838176+00:00"}