{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:DFJYCRTLBVM667BAATDATUHF23","short_pith_number":"pith:DFJYCRTL","schema_version":"1.0","canonical_sha256":"195381466b0d59ef7c2004c609d0e5d6d195d174416fcc85c38e248e8f7853f2","source":{"kind":"arxiv","id":"2502.10368","version":2},"attestation_state":"computed","paper":{"title":"Generalised Process Theories","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math-ph","math.MP","quant-ph"],"primary_cat":"math.CT","authors_text":"Bob Coecke, John H. Selby, Maria E. Stasinou, Matt Wilson","submitted_at":"2025-02-14T18:47:07Z","abstract_excerpt":"Process theories provide a powerful framework for describing compositional structures across diverse fields, from quantum mechanics to computational linguistics. Traditionally, they have been formalized using symmetric monoidal categories (SMCs). However, various generalizations, including time-neutral, higher-order, and enriched process theories, do not naturally conform to this structure. In this work, we propose an alternative formalization using operad algebras, motivated by recent results connecting SMCs to operadic structures, which captures a broader class of process theories. By levera"},"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":"2502.10368","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-02-14T18:47:07Z","cross_cats_sorted":["math-ph","math.MP","quant-ph"],"title_canon_sha256":"8d8507ebabe4bad45d140b6dd2c63e44c89f9ad319be77ed8f929c4634dd4d14","abstract_canon_sha256":"8ff0594704c57c79fedb656d55529809120d7f117ecdfe7f78748278bd049dd1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:00:42.178763Z","signature_b64":"+iwufgatQWJzouGZQXGifxaaN5DQKuI04wNQOt11aCBdWAy0dTO0UaYQUKQkmoJFs/OLAUi5TfY9/M3J9wMFAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"195381466b0d59ef7c2004c609d0e5d6d195d174416fcc85c38e248e8f7853f2","last_reissued_at":"2026-07-05T11:00:42.178235Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:00:42.178235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Generalised Process Theories","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math-ph","math.MP","quant-ph"],"primary_cat":"math.CT","authors_text":"Bob Coecke, John H. Selby, Maria E. Stasinou, Matt Wilson","submitted_at":"2025-02-14T18:47:07Z","abstract_excerpt":"Process theories provide a powerful framework for describing compositional structures across diverse fields, from quantum mechanics to computational linguistics. Traditionally, they have been formalized using symmetric monoidal categories (SMCs). However, various generalizations, including time-neutral, higher-order, and enriched process theories, do not naturally conform to this structure. In this work, we propose an alternative formalization using operad algebras, motivated by recent results connecting SMCs to operadic structures, which captures a broader class of process theories. By levera"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.10368","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/2502.10368/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":"2502.10368","created_at":"2026-07-05T11:00:42.178312+00:00"},{"alias_kind":"arxiv_version","alias_value":"2502.10368v2","created_at":"2026-07-05T11:00:42.178312+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.10368","created_at":"2026-07-05T11:00:42.178312+00:00"},{"alias_kind":"pith_short_12","alias_value":"DFJYCRTLBVM6","created_at":"2026-07-05T11:00:42.178312+00:00"},{"alias_kind":"pith_short_16","alias_value":"DFJYCRTLBVM667BA","created_at":"2026-07-05T11:00:42.178312+00:00"},{"alias_kind":"pith_short_8","alias_value":"DFJYCRTL","created_at":"2026-07-05T11:00:42.178312+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.08351","citing_title":"Higher-order quantum processes respecting closed labs in a spacetime have quantum controlled causal order","ref_index":3,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/DFJYCRTLBVM667BAATDATUHF23","json":"https://pith.science/pith/DFJYCRTLBVM667BAATDATUHF23.json","graph_json":"https://pith.science/api/pith-number/DFJYCRTLBVM667BAATDATUHF23/graph.json","events_json":"https://pith.science/api/pith-number/DFJYCRTLBVM667BAATDATUHF23/events.json","paper":"https://pith.science/paper/DFJYCRTL"},"agent_actions":{"view_html":"https://pith.science/pith/DFJYCRTLBVM667BAATDATUHF23","download_json":"https://pith.science/pith/DFJYCRTLBVM667BAATDATUHF23.json","view_paper":"https://pith.science/paper/DFJYCRTL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2502.10368&json=true","fetch_graph":"https://pith.science/api/pith-number/DFJYCRTLBVM667BAATDATUHF23/graph.json","fetch_events":"https://pith.science/api/pith-number/DFJYCRTLBVM667BAATDATUHF23/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DFJYCRTLBVM667BAATDATUHF23/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DFJYCRTLBVM667BAATDATUHF23/action/storage_attestation","attest_author":"https://pith.science/pith/DFJYCRTLBVM667BAATDATUHF23/action/author_attestation","sign_citation":"https://pith.science/pith/DFJYCRTLBVM667BAATDATUHF23/action/citation_signature","submit_replication":"https://pith.science/pith/DFJYCRTLBVM667BAATDATUHF23/action/replication_record"}},"created_at":"2026-07-05T11:00:42.178312+00:00","updated_at":"2026-07-05T11:00:42.178312+00:00"}