{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:QKVHMLUJEZILJPA2EKEDBZYJ54","short_pith_number":"pith:QKVHMLUJ","schema_version":"1.0","canonical_sha256":"82aa762e892650b4bc1a228830e709ef016c11df0616ab54bd6f408b649d85c4","source":{"kind":"arxiv","id":"1805.03032","version":1},"attestation_state":"computed","paper":{"title":"Interacting Hopf Algebras: the theory of linear systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","math.RA"],"primary_cat":"math.CT","authors_text":"Fabio Zanasi","submitted_at":"2018-05-04T08:17:24Z","abstract_excerpt":"As first main contribution, this thesis characterises the PROP SVk of linear subspaces over a field k - an important domain of interpretation for circuit diagrams appearing in diverse research areas. We present by generators and equations the PROP IH of string diagrams whose free model is SVk. IH stands for interacting Hopf algebras: its equations arise by distributive laws between Hopf algebras, which we obtain using Lack's technique for composing PROPs. The significance of the result is two-fold. First, it offers a canonical diagrammatic syntax for linear algebra: linear maps, kernels, subsp"},"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":"1805.03032","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2018-05-04T08:17:24Z","cross_cats_sorted":["cs.LO","math.RA"],"title_canon_sha256":"f967674316c145f7d475fbaa7dfe775b15d9c2c48e51d28a568ff413701faca8","abstract_canon_sha256":"77e2a8b6518802aae622d95f23d7f12287e55a53995b4f37c2e42875a58059c8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:34.853978Z","signature_b64":"jcL4ZidFVRx+wbg+ZA2enWS1cAaDJgkXIigebNa/JLEYaKlSaupVwXKJWsuSAifiZrEzqDZJgDJH2dA8ei8LCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"82aa762e892650b4bc1a228830e709ef016c11df0616ab54bd6f408b649d85c4","last_reissued_at":"2026-05-18T00:16:34.853360Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:34.853360Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Interacting Hopf Algebras: the theory of linear systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","math.RA"],"primary_cat":"math.CT","authors_text":"Fabio Zanasi","submitted_at":"2018-05-04T08:17:24Z","abstract_excerpt":"As first main contribution, this thesis characterises the PROP SVk of linear subspaces over a field k - an important domain of interpretation for circuit diagrams appearing in diverse research areas. We present by generators and equations the PROP IH of string diagrams whose free model is SVk. IH stands for interacting Hopf algebras: its equations arise by distributive laws between Hopf algebras, which we obtain using Lack's technique for composing PROPs. The significance of the result is two-fold. First, it offers a canonical diagrammatic syntax for linear algebra: linear maps, kernels, subsp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.03032","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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":"1805.03032","created_at":"2026-05-18T00:16:34.853451+00:00"},{"alias_kind":"arxiv_version","alias_value":"1805.03032v1","created_at":"2026-05-18T00:16:34.853451+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.03032","created_at":"2026-05-18T00:16:34.853451+00:00"},{"alias_kind":"pith_short_12","alias_value":"QKVHMLUJEZIL","created_at":"2026-05-18T12:32:46.962924+00:00"},{"alias_kind":"pith_short_16","alias_value":"QKVHMLUJEZILJPA2","created_at":"2026-05-18T12:32:46.962924+00:00"},{"alias_kind":"pith_short_8","alias_value":"QKVHMLUJ","created_at":"2026-05-18T12:32:46.962924+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":2,"sample":[{"citing_arxiv_id":"2510.14716","citing_title":"Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction","ref_index":29,"is_internal_anchor":true},{"citing_arxiv_id":"2605.13993","citing_title":"Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi","ref_index":78,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/QKVHMLUJEZILJPA2EKEDBZYJ54","json":"https://pith.science/pith/QKVHMLUJEZILJPA2EKEDBZYJ54.json","graph_json":"https://pith.science/api/pith-number/QKVHMLUJEZILJPA2EKEDBZYJ54/graph.json","events_json":"https://pith.science/api/pith-number/QKVHMLUJEZILJPA2EKEDBZYJ54/events.json","paper":"https://pith.science/paper/QKVHMLUJ"},"agent_actions":{"view_html":"https://pith.science/pith/QKVHMLUJEZILJPA2EKEDBZYJ54","download_json":"https://pith.science/pith/QKVHMLUJEZILJPA2EKEDBZYJ54.json","view_paper":"https://pith.science/paper/QKVHMLUJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1805.03032&json=true","fetch_graph":"https://pith.science/api/pith-number/QKVHMLUJEZILJPA2EKEDBZYJ54/graph.json","fetch_events":"https://pith.science/api/pith-number/QKVHMLUJEZILJPA2EKEDBZYJ54/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QKVHMLUJEZILJPA2EKEDBZYJ54/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QKVHMLUJEZILJPA2EKEDBZYJ54/action/storage_attestation","attest_author":"https://pith.science/pith/QKVHMLUJEZILJPA2EKEDBZYJ54/action/author_attestation","sign_citation":"https://pith.science/pith/QKVHMLUJEZILJPA2EKEDBZYJ54/action/citation_signature","submit_replication":"https://pith.science/pith/QKVHMLUJEZILJPA2EKEDBZYJ54/action/replication_record"}},"created_at":"2026-05-18T00:16:34.853451+00:00","updated_at":"2026-05-18T00:16:34.853451+00:00"}