An Algebraic Framework for Structured Epidemic Modeling

  title={An Algebraic Framework for Structured Epidemic Modeling},
  author={Sophie Libkind and Andre Baas and Micah Halter and Evan Patterson and James P. Fairbanks},
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… 

Figures from this paper

Compositional Exploration of Combinatorial Scientific Models
We implement a novel representation of model search spaces as diagrams over a category of models, where we have restricted attention to a broad class of models whose structure is presented by C sets.
Compositional Modeling with Stock and Flow Diagrams
A new package called StockFlow is created, part of the AlgebraicJulia ecosystem, which uses ideas from category theory to overcome notable limitations of existing software, for building and simulating stock andow diagrams.
A diagrammatic view of differential equations in physics
Presenting systems of differential equations in the form of diagrams has become common in certain parts of physics, especially electromagnetism and computational physics. In this work, we aim to put
Structured versus Decorated Cospans
One goal of applied category theory is to understand open systems. We compare two ways of describing open systems as cospans equipped with extra data. First, given a functor L : A → X , a ‘structured
Whole-grain Petri nets and processes
A formalism for Petri nets based on polynomial-style configurations and etale maps that supports both a geometric semantics and an algebraic semantics in the style of Meseguer and Montanari, in terms of free coloured props.


Comparing metapopulation dynamics of infectious diseases under different models of human movement
The effect that the choice of movement model has on each disease model’s results is described, finding that in all cases, there are parameter regimes where choosing one movement model instead of another has a profound impact on epidemiological outcomes.