{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:CFW46KTT73QF3VK2SY5WTU3Z3H","short_pith_number":"pith:CFW46KTT","schema_version":"1.0","canonical_sha256":"116dcf2a73fee05dd55a963b69d379d9c01eb2d2261c449134d26c453a40a8df","source":{"kind":"arxiv","id":"2211.01290","version":3},"attestation_state":"computed","paper":{"title":"A Categorical Framework for Modeling with Stock and Flow Diagrams","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.LO","authors_text":"Eric Redekopp, John C. Baez, Nathaniel D. Osgood, Sophie Libkind, Xiaoyan Li","submitted_at":"2022-11-01T16:15:54Z","abstract_excerpt":"Stock and flow diagrams are already an important tool in epidemiology, but category theory lets us go further and treat these diagrams as mathematical entities in their own right. In this chapter we use communicable disease models created with our software, StockFlow.jl, to explain the benefits of the categorical approach. We first explain the category of stock-flow diagrams and note the clear separation between the syntax of these diagrams and their semantics, demonstrating three examples of semantics already implemented in the software: ODEs, causal loop diagrams, and system structure diagra"},"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":"2211.01290","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2022-11-01T16:15:54Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"6808a2d88f1763fae24efb7f63046d76280053850258a1c598ad1b7ba1420376","abstract_canon_sha256":"26a65273d6873a8303dca091ce9c8ad150ebd7e25bdfd3ee203913d4ca614594"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:47:25.113651Z","signature_b64":"+O9zcEKm4wk7eVqReS60oKgJKIYlCU0U+Q0QMYadqI2hFDHmNUlNxlCL5tQ1Kbm6joUBIkjfbnwJUjhkDPnFBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"116dcf2a73fee05dd55a963b69d379d9c01eb2d2261c449134d26c453a40a8df","last_reissued_at":"2026-07-05T09:47:25.113162Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:47:25.113162Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Categorical Framework for Modeling with Stock and Flow Diagrams","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.LO","authors_text":"Eric Redekopp, John C. Baez, Nathaniel D. Osgood, Sophie Libkind, Xiaoyan Li","submitted_at":"2022-11-01T16:15:54Z","abstract_excerpt":"Stock and flow diagrams are already an important tool in epidemiology, but category theory lets us go further and treat these diagrams as mathematical entities in their own right. In this chapter we use communicable disease models created with our software, StockFlow.jl, to explain the benefits of the categorical approach. We first explain the category of stock-flow diagrams and note the clear separation between the syntax of these diagrams and their semantics, demonstrating three examples of semantics already implemented in the software: ODEs, causal loop diagrams, and system structure diagra"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.01290","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/2211.01290/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":"2211.01290","created_at":"2026-07-05T09:47:25.113215+00:00"},{"alias_kind":"arxiv_version","alias_value":"2211.01290v3","created_at":"2026-07-05T09:47:25.113215+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.01290","created_at":"2026-07-05T09:47:25.113215+00:00"},{"alias_kind":"pith_short_12","alias_value":"CFW46KTT73QF","created_at":"2026-07-05T09:47:25.113215+00:00"},{"alias_kind":"pith_short_16","alias_value":"CFW46KTT73QF3VK2","created_at":"2026-07-05T09:47:25.113215+00:00"},{"alias_kind":"pith_short_8","alias_value":"CFW46KTT","created_at":"2026-07-05T09:47:25.113215+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/CFW46KTT73QF3VK2SY5WTU3Z3H","json":"https://pith.science/pith/CFW46KTT73QF3VK2SY5WTU3Z3H.json","graph_json":"https://pith.science/api/pith-number/CFW46KTT73QF3VK2SY5WTU3Z3H/graph.json","events_json":"https://pith.science/api/pith-number/CFW46KTT73QF3VK2SY5WTU3Z3H/events.json","paper":"https://pith.science/paper/CFW46KTT"},"agent_actions":{"view_html":"https://pith.science/pith/CFW46KTT73QF3VK2SY5WTU3Z3H","download_json":"https://pith.science/pith/CFW46KTT73QF3VK2SY5WTU3Z3H.json","view_paper":"https://pith.science/paper/CFW46KTT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2211.01290&json=true","fetch_graph":"https://pith.science/api/pith-number/CFW46KTT73QF3VK2SY5WTU3Z3H/graph.json","fetch_events":"https://pith.science/api/pith-number/CFW46KTT73QF3VK2SY5WTU3Z3H/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CFW46KTT73QF3VK2SY5WTU3Z3H/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CFW46KTT73QF3VK2SY5WTU3Z3H/action/storage_attestation","attest_author":"https://pith.science/pith/CFW46KTT73QF3VK2SY5WTU3Z3H/action/author_attestation","sign_citation":"https://pith.science/pith/CFW46KTT73QF3VK2SY5WTU3Z3H/action/citation_signature","submit_replication":"https://pith.science/pith/CFW46KTT73QF3VK2SY5WTU3Z3H/action/replication_record"}},"created_at":"2026-07-05T09:47:25.113215+00:00","updated_at":"2026-07-05T09:47:25.113215+00:00"}