{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:WBGHEQ66VOLIL4SOVBIXHXXJEV","short_pith_number":"pith:WBGHEQ66","schema_version":"1.0","canonical_sha256":"b04c7243deab9685f24ea85173dee9256fdc6e5c2a3d141e1d9b815b22e8d110","source":{"kind":"arxiv","id":"2509.22584","version":2},"attestation_state":"computed","paper":{"title":"Double Categories of Open Systems: the Cospan Approach","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"John C. Baez","submitted_at":"2025-09-26T17:04:14Z","abstract_excerpt":"This is an overview of double categories of \"open systems\": systems that can interact with their environment. We focus on the variable sharing paradigm, where we compose open systems by identifying variables. This paradigm is often implemented using structured or decorated cospans. We explain this approach using three main examples: open Petri nets, open dynamical systems, and open Petri nets with rates. We compare the virtues of structured and decorated cospan double categories, and study their common features. We show that any symmetric monoidal structured or decorated cospan double category"},"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":"2509.22584","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-09-26T17:04:14Z","cross_cats_sorted":[],"title_canon_sha256":"c48bdf5a08234af9eafb5ebc285cc0f80479448c059a62dbf7a3da580c537ae7","abstract_canon_sha256":"2306b24761ccbf7da41031ac0736c74c7e6d151a0fb14238c665ef4e70aa709f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-24T01:24:03.870359Z","signature_b64":"y7a8Dknre+AG6JPglqnmAPcXBGXatzJz3CwiG5lhsa9SoTa5OEhR4puyIqKtm/0y+09gjJMeA9fSWJWy4MZzBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b04c7243deab9685f24ea85173dee9256fdc6e5c2a3d141e1d9b815b22e8d110","last_reissued_at":"2026-07-24T01:24:03.869384Z","signature_status":"signed_v1","first_computed_at":"2026-07-24T01:24:03.869384Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Double Categories of Open Systems: the Cospan Approach","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"John C. Baez","submitted_at":"2025-09-26T17:04:14Z","abstract_excerpt":"This is an overview of double categories of \"open systems\": systems that can interact with their environment. We focus on the variable sharing paradigm, where we compose open systems by identifying variables. This paradigm is often implemented using structured or decorated cospans. We explain this approach using three main examples: open Petri nets, open dynamical systems, and open Petri nets with rates. We compare the virtues of structured and decorated cospan double categories, and study their common features. We show that any symmetric monoidal structured or decorated cospan double category"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.22584","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2509.22584/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":"2509.22584","created_at":"2026-07-24T01:24:03.869836+00:00"},{"alias_kind":"arxiv_version","alias_value":"2509.22584v2","created_at":"2026-07-24T01:24:03.869836+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.22584","created_at":"2026-07-24T01:24:03.869836+00:00"},{"alias_kind":"pith_short_12","alias_value":"WBGHEQ66VOLI","created_at":"2026-07-24T01:24:03.869836+00:00"},{"alias_kind":"pith_short_16","alias_value":"WBGHEQ66VOLIL4SO","created_at":"2026-07-24T01:24:03.869836+00:00"},{"alias_kind":"pith_short_8","alias_value":"WBGHEQ66","created_at":"2026-07-24T01:24:03.869836+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":2,"sample":[{"citing_arxiv_id":"2605.04516","citing_title":"Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads","ref_index":2,"is_internal_anchor":true},{"citing_arxiv_id":"2605.04516","citing_title":"Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads","ref_index":2,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WBGHEQ66VOLIL4SOVBIXHXXJEV","json":"https://pith.science/pith/WBGHEQ66VOLIL4SOVBIXHXXJEV.json","graph_json":"https://pith.science/api/pith-number/WBGHEQ66VOLIL4SOVBIXHXXJEV/graph.json","events_json":"https://pith.science/api/pith-number/WBGHEQ66VOLIL4SOVBIXHXXJEV/events.json","paper":"https://pith.science/paper/WBGHEQ66"},"agent_actions":{"view_html":"https://pith.science/pith/WBGHEQ66VOLIL4SOVBIXHXXJEV","download_json":"https://pith.science/pith/WBGHEQ66VOLIL4SOVBIXHXXJEV.json","view_paper":"https://pith.science/paper/WBGHEQ66","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2509.22584&json=true","fetch_graph":"https://pith.science/api/pith-number/WBGHEQ66VOLIL4SOVBIXHXXJEV/graph.json","fetch_events":"https://pith.science/api/pith-number/WBGHEQ66VOLIL4SOVBIXHXXJEV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WBGHEQ66VOLIL4SOVBIXHXXJEV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WBGHEQ66VOLIL4SOVBIXHXXJEV/action/storage_attestation","attest_author":"https://pith.science/pith/WBGHEQ66VOLIL4SOVBIXHXXJEV/action/author_attestation","sign_citation":"https://pith.science/pith/WBGHEQ66VOLIL4SOVBIXHXXJEV/action/citation_signature","submit_replication":"https://pith.science/pith/WBGHEQ66VOLIL4SOVBIXHXXJEV/action/replication_record"}},"created_at":"2026-07-24T01:24:03.869836+00:00","updated_at":"2026-07-24T01:24:03.869836+00:00"}