{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:WBMCCPBSCMES7ZQMP2GVTZR3MH","short_pith_number":"pith:WBMCCPBS","schema_version":"1.0","canonical_sha256":"b058213c3213092fe60c7e8d59e63b61e118431377ecfce21c538dd6a57dda15","source":{"kind":"arxiv","id":"2410.09229","version":3},"attestation_state":"computed","paper":{"title":"Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"cs.LO","authors_text":"Fabio Zanasi, Gabriele Lobbia, Ralph Sarkis, Wojciech R\\'o\\.zowski","submitted_at":"2024-10-11T20:06:09Z","abstract_excerpt":"String diagrammatic calculi have become increasingly popular in fields such as quantum theory, circuit theory, probabilistic programming, and machine learning, where they enable resource-sensitive and compositional algebraic analysis. Traditionally, the equations of diagrammatic calculi only axiomatise exact semantic equality. However, reasoning in these domains often involves approximations rather than strict equivalences. In this work, we develop a quantitative framework for diagrammatic calculi, where one may axiomatise notions of distance between string diagrams. Unlike similar approaches,"},"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":"2410.09229","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-10-11T20:06:09Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"1a3e92db2d3ee57d284eff6f87046512a6bd039ca128f01493ffa88054d52dc9","abstract_canon_sha256":"585905d1a68db2f34fb96e31d8169f35e344788e9e99945e8ceab38d3e0b1153"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:28:11.643278Z","signature_b64":"p6wIPIQiDeE5rHyEk158OfwKly2TQEWGb8xk73c7Qoj5cSpQSN2SDgDAa+lpJgdrFKQA/CKZ/d2AB7mN2OaWAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b058213c3213092fe60c7e8d59e63b61e118431377ecfce21c538dd6a57dda15","last_reissued_at":"2026-07-05T11:28:11.642589Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:28:11.642589Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"cs.LO","authors_text":"Fabio Zanasi, Gabriele Lobbia, Ralph Sarkis, Wojciech R\\'o\\.zowski","submitted_at":"2024-10-11T20:06:09Z","abstract_excerpt":"String diagrammatic calculi have become increasingly popular in fields such as quantum theory, circuit theory, probabilistic programming, and machine learning, where they enable resource-sensitive and compositional algebraic analysis. Traditionally, the equations of diagrammatic calculi only axiomatise exact semantic equality. However, reasoning in these domains often involves approximations rather than strict equivalences. In this work, we develop a quantitative framework for diagrammatic calculi, where one may axiomatise notions of distance between string diagrams. Unlike similar approaches,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.09229","kind":"arxiv","version":3},"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/2410.09229/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":"2410.09229","created_at":"2026-07-05T11:28:11.642664+00:00"},{"alias_kind":"arxiv_version","alias_value":"2410.09229v3","created_at":"2026-07-05T11:28:11.642664+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.09229","created_at":"2026-07-05T11:28:11.642664+00:00"},{"alias_kind":"pith_short_12","alias_value":"WBMCCPBSCMES","created_at":"2026-07-05T11:28:11.642664+00:00"},{"alias_kind":"pith_short_16","alias_value":"WBMCCPBSCMES7ZQM","created_at":"2026-07-05T11:28:11.642664+00:00"},{"alias_kind":"pith_short_8","alias_value":"WBMCCPBS","created_at":"2026-07-05T11:28:11.642664+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WBMCCPBSCMES7ZQMP2GVTZR3MH","json":"https://pith.science/pith/WBMCCPBSCMES7ZQMP2GVTZR3MH.json","graph_json":"https://pith.science/api/pith-number/WBMCCPBSCMES7ZQMP2GVTZR3MH/graph.json","events_json":"https://pith.science/api/pith-number/WBMCCPBSCMES7ZQMP2GVTZR3MH/events.json","paper":"https://pith.science/paper/WBMCCPBS"},"agent_actions":{"view_html":"https://pith.science/pith/WBMCCPBSCMES7ZQMP2GVTZR3MH","download_json":"https://pith.science/pith/WBMCCPBSCMES7ZQMP2GVTZR3MH.json","view_paper":"https://pith.science/paper/WBMCCPBS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2410.09229&json=true","fetch_graph":"https://pith.science/api/pith-number/WBMCCPBSCMES7ZQMP2GVTZR3MH/graph.json","fetch_events":"https://pith.science/api/pith-number/WBMCCPBSCMES7ZQMP2GVTZR3MH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WBMCCPBSCMES7ZQMP2GVTZR3MH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WBMCCPBSCMES7ZQMP2GVTZR3MH/action/storage_attestation","attest_author":"https://pith.science/pith/WBMCCPBSCMES7ZQMP2GVTZR3MH/action/author_attestation","sign_citation":"https://pith.science/pith/WBMCCPBSCMES7ZQMP2GVTZR3MH/action/citation_signature","submit_replication":"https://pith.science/pith/WBMCCPBSCMES7ZQMP2GVTZR3MH/action/replication_record"}},"created_at":"2026-07-05T11:28:11.642664+00:00","updated_at":"2026-07-05T11:28:11.642664+00:00"}