{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:RUJAQIQIGETFQRPWOFZFGSKHFI","short_pith_number":"pith:RUJAQIQI","schema_version":"1.0","canonical_sha256":"8d1208220831265845f671725349472a239aef84737727d2c89ff9348ea77bd5","source":{"kind":"arxiv","id":"2505.18329","version":2},"attestation_state":"computed","paper":{"title":"Towards a double operadic theory of systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"David Jaz Myers, Sophie Libkind","submitted_at":"2025-05-23T19:35:57Z","abstract_excerpt":"We present a unified framework for categorical systems theory which packages a collection of open systems, their interactions, and their maps into a symmetric monoidal loose right module of systems over a symmetric monoidal double category of interfaces and interactions. As examples, we give detailed descriptions of (1) the module of open Petri nets over undirected wiring diagrams and (2) the module of deterministic Moore machines over lenses. We define several pseudo-functorial constructions of modules of systems in the form of doctrines of systems theories. In particular, we introduce doctri"},"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":"2505.18329","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-05-23T19:35:57Z","cross_cats_sorted":[],"title_canon_sha256":"5f4b8043c6f81f7961808fb7e6f739b0ef516110a05a62b0501c2d602fbb4e22","abstract_canon_sha256":"9334f38d6de4a1bfb1d53b1bfd81553f55ee4caaafffdb08af27f9428e4ced5f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:11:46.172119Z","signature_b64":"kj63kYZaMe7Cf0W2d2JhgiUzu7h8iVhcE+4xxqaD4W0P4GHalAlFEQFeeZZzNeDDi3M1thWPqsEmM6etKyNIBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8d1208220831265845f671725349472a239aef84737727d2c89ff9348ea77bd5","last_reissued_at":"2026-07-05T11:11:46.171643Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:11:46.171643Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Towards a double operadic theory of systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"David Jaz Myers, Sophie Libkind","submitted_at":"2025-05-23T19:35:57Z","abstract_excerpt":"We present a unified framework for categorical systems theory which packages a collection of open systems, their interactions, and their maps into a symmetric monoidal loose right module of systems over a symmetric monoidal double category of interfaces and interactions. As examples, we give detailed descriptions of (1) the module of open Petri nets over undirected wiring diagrams and (2) the module of deterministic Moore machines over lenses. We define several pseudo-functorial constructions of modules of systems in the form of doctrines of systems theories. In particular, we introduce doctri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.18329","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/2505.18329/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":"2505.18329","created_at":"2026-07-05T11:11:46.171698+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.18329v2","created_at":"2026-07-05T11:11:46.171698+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.18329","created_at":"2026-07-05T11:11:46.171698+00:00"},{"alias_kind":"pith_short_12","alias_value":"RUJAQIQIGETF","created_at":"2026-07-05T11:11:46.171698+00:00"},{"alias_kind":"pith_short_16","alias_value":"RUJAQIQIGETFQRPW","created_at":"2026-07-05T11:11:46.171698+00:00"},{"alias_kind":"pith_short_8","alias_value":"RUJAQIQI","created_at":"2026-07-05T11:11:46.171698+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":5,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.26755","citing_title":"On categories of monads and comonads in double categories","ref_index":28,"is_internal_anchor":false},{"citing_arxiv_id":"2605.04516","citing_title":"Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads","ref_index":20,"is_internal_anchor":false},{"citing_arxiv_id":"2603.28906","citing_title":"Working Paper: Towards a Category-theoretic Comparative Framework for Artificial General Intelligence","ref_index":49,"is_internal_anchor":false},{"citing_arxiv_id":"2604.03017","citing_title":"Compositionality of Lyapunov functions via assume-guarantee reasoning","ref_index":21,"is_internal_anchor":false},{"citing_arxiv_id":"2605.04516","citing_title":"Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads","ref_index":19,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RUJAQIQIGETFQRPWOFZFGSKHFI","json":"https://pith.science/pith/RUJAQIQIGETFQRPWOFZFGSKHFI.json","graph_json":"https://pith.science/api/pith-number/RUJAQIQIGETFQRPWOFZFGSKHFI/graph.json","events_json":"https://pith.science/api/pith-number/RUJAQIQIGETFQRPWOFZFGSKHFI/events.json","paper":"https://pith.science/paper/RUJAQIQI"},"agent_actions":{"view_html":"https://pith.science/pith/RUJAQIQIGETFQRPWOFZFGSKHFI","download_json":"https://pith.science/pith/RUJAQIQIGETFQRPWOFZFGSKHFI.json","view_paper":"https://pith.science/paper/RUJAQIQI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.18329&json=true","fetch_graph":"https://pith.science/api/pith-number/RUJAQIQIGETFQRPWOFZFGSKHFI/graph.json","fetch_events":"https://pith.science/api/pith-number/RUJAQIQIGETFQRPWOFZFGSKHFI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RUJAQIQIGETFQRPWOFZFGSKHFI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RUJAQIQIGETFQRPWOFZFGSKHFI/action/storage_attestation","attest_author":"https://pith.science/pith/RUJAQIQIGETFQRPWOFZFGSKHFI/action/author_attestation","sign_citation":"https://pith.science/pith/RUJAQIQIGETFQRPWOFZFGSKHFI/action/citation_signature","submit_replication":"https://pith.science/pith/RUJAQIQIGETFQRPWOFZFGSKHFI/action/replication_record"}},"created_at":"2026-07-05T11:11:46.171698+00:00","updated_at":"2026-07-05T11:11:46.171698+00:00"}