{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:OH67ZASHI6ZITLL3OLCIR5E6ZT","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":"3fcfa71850c34511d4e2614b3e3a50ab655362240b8225fa01cabfb835f63fe5","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-03T15:28:07Z","title_canon_sha256":"431924c5d1385e1a7c011c82710955c853a4da24d37ff53ad0e9b348c7498bbe"},"schema_version":"1.0","source":{"id":"1703.01204","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.01204","created_at":"2026-05-18T00:15:52Z"},{"alias_kind":"arxiv_version","alias_value":"1703.01204v1","created_at":"2026-05-18T00:15:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.01204","created_at":"2026-05-18T00:15:52Z"},{"alias_kind":"pith_short_12","alias_value":"OH67ZASHI6ZI","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"OH67ZASHI6ZITLL3","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"OH67ZASH","created_at":"2026-05-18T12:31:34Z"}],"graph_snapshots":[{"event_id":"sha256:154216e07d621f70d98a47a5023ffdd411246c2283131dac75401438b15d6c9e","target":"graph","created_at":"2026-05-18T00:15:52Z","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"},"paper":{"abstract_excerpt":"Process theories combine a graphical language for compositional reasoning with an underlying categorical semantics. They have been successfully applied to fields such as quantum computation, natural language processing, linear dynamical systems and network theory. When investigating a new application, the question arises of how to identify a suitable process theoretic model.\n  We present a conceptually motivated parameterized framework for the construction of models for process theories. Our framework generalizes the notion of binary relation along four axes of variation, the truth values, a c","authors_text":"Dan Marsden, Fabrizio Genovese","cross_cats":["math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-03T15:28:07Z","title":"Custom Hypergraph Categories via Generalized Relations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.01204","kind":"arxiv","version":1},"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:e38d114c9963984b016fd27d139aeb0ad839b4cc7866d412c37a4bf50ea2f999","target":"record","created_at":"2026-05-18T00:15:52Z","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":"3fcfa71850c34511d4e2614b3e3a50ab655362240b8225fa01cabfb835f63fe5","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-03T15:28:07Z","title_canon_sha256":"431924c5d1385e1a7c011c82710955c853a4da24d37ff53ad0e9b348c7498bbe"},"schema_version":"1.0","source":{"id":"1703.01204","kind":"arxiv","version":1}},"canonical_sha256":"71fdfc824747b289ad7b72c488f49eccf9e2e05c2c6d24e6a278ff9c337d4681","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"71fdfc824747b289ad7b72c488f49eccf9e2e05c2c6d24e6a278ff9c337d4681","first_computed_at":"2026-05-18T00:15:52.659886Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:15:52.659886Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oeZ9lPHzdaprqpOA8ixnoJ911yBZCb+SB4cjj3AfYdD5ALo1z6f0jF3fyavd/hrcJ2+jtknAUtgWkLSURHicCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:15:52.660567Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.01204","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e38d114c9963984b016fd27d139aeb0ad839b4cc7866d412c37a4bf50ea2f999","sha256:154216e07d621f70d98a47a5023ffdd411246c2283131dac75401438b15d6c9e"],"state_sha256":"f4d6d34eba2cf0393328dcf7a1b2148b3a15583476332506b8da0d099e580c01"}