A Categorical Framework for Modeling with Stock and Flow Diagrams
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910738024497152 |
|---|---|
| author | Baez, John C. Li, Xiaoyan Libkind, Sophie Osgood, Nathaniel D. Redekopp, Eric |
| author_facet | Baez, John C. Li, Xiaoyan Libkind, Sophie Osgood, Nathaniel D. Redekopp, Eric |
| contents | 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 diagrams. We then turn to two methods for building large stock-flow diagrams from smaller ones in a modular fashion: composition and stratification. Finally, we introduce the open-source ModelCollab software for diagram-based collaborative modeling. The graphical user interface of this web-based software lets modelers take advantage of the ideas discussed here without any knowledge of their categorical foundations. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2211_01290 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | A Categorical Framework for Modeling with Stock and Flow Diagrams Baez, John C. Li, Xiaoyan Libkind, Sophie Osgood, Nathaniel D. Redekopp, Eric Logic in Computer Science Computation and Language 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 diagrams. We then turn to two methods for building large stock-flow diagrams from smaller ones in a modular fashion: composition and stratification. Finally, we introduce the open-source ModelCollab software for diagram-based collaborative modeling. The graphical user interface of this web-based software lets modelers take advantage of the ideas discussed here without any knowledge of their categorical foundations. |
| title | A Categorical Framework for Modeling with Stock and Flow Diagrams |
| topic | Logic in Computer Science Computation and Language |
| url | https://arxiv.org/abs/2211.01290 |