An Algebraic Framework for Structured Epidemic Modeling
arXiv:2203.16345 · doi:10.1098/rsta.2021.0309
Abstract
Pandemic management requires that scientists rapidly formulate and analyze epidemiological models in order to forecast the spread of disease and the effects of mitigation strategies. Scientists must modify existing models and create novel ones in light of new biological data and policy changes such as social distancing and vaccination. Traditional scientific modeling workflows detach the structure of a model -- its submodels and their interactions -- from its implementation in software. Consequently, incorporating local changes to model components may require global edits to the code-base through a manual, time-intensive, and error-prone process. We propose a compositional modeling framework that uses high-level algebraic structures to capture domain-specific scientific knowledge and bridge the gap between how scientists think about models and the code that implements them. These algebraic structures, grounded in applied category theory, simplify and expedite modeling tasks such as model specification, stratification, analysis, and calibration. With their structure made explicit, models also become easier to communicate, criticize, and refine in light of stakeholder feedback.
38 pages, 8 figures
References in corpus (3)
Cited by in corpus (7)
- Epidemic Dynamics in Homes and Destinations under Recurrent Mobility Patterns
- Visualization for Epidemiological Modelling: Challenges, Solutions, Reflections & Recommendations
- Compositional Modeling with Stock and Flow Diagrams
- Whole-grain Petri nets and processes
- A diagrammatic view of differential equations in physics
- Structured and Decorated Cospans from the Viewpoint of Double Category Theory
- The Basic Reproduction Number for Petri Net Models: A Next-Generation Matrix Approach