An algebraic framework for structured epidemic modelling

S Libkind, A Baas, M Halter… - … Transactions of the …, 2022 - royalsocietypublishing.org
Pandemic management requires that scientists rapidly formulate and analyse
epidemiological models in order to forecast the spread of disease and the effects of …

Compositional modeling with stock and flow diagrams

J Baez, X Li, S Libkind, ND Osgood… - arXiv preprint arXiv …, 2022 - arxiv.org
Stock and flow diagrams are widely used in epidemiology to model the dynamics of
populations. Although tools already exist for building these diagrams and simulating the …

Diegetic representation of feedback in open games

M Capucci - arXiv preprint arXiv:2206.12338, 2022 - arxiv.org
We improve the framework of open games with agency by showing how the players'
counterfactual analysis giving rise to Nash equilibria can be described in the dynamics of …

Compositional thermostatics

JC Baez, O Lynch, J Moeller - Journal of Mathematical Physics, 2023 - pubs.aip.org
We define a thermostatic system to be a convex space of states together with a concave
function sending each state to its entropy, which is an extended real number. This definition …

A Compositional Framework for First-Order Optimization

T Hanks, M Klawonn, E Patterson, M Hale… - arXiv preprint arXiv …, 2024 - arxiv.org
Optimization decomposition methods are a fundamental tool to develop distributed solution
algorithms for large scale optimization problems arising in fields such as machine learning …

A diagrammatic view of differential equations in physics

E Patterson, A Baas, T Hosgood… - arXiv preprint arXiv …, 2022 - arxiv.org
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 …

Compositional algorithms on compositional data: deciding sheaves on presheaves

E Althaus, BM Bumpus, J Fairbanks… - arXiv preprint arXiv …, 2023 - arxiv.org
Algorithmicists are well-aware that fast dynamic programming algorithms are very often the
correct choice when computing on compositional (or even recursive) graphs. Here we …

Toward a comprehensive system for constructing compartmental epidemic models

D Flynn-Primrose, SC Walker, M Li, BM Bolker… - arXiv preprint arXiv …, 2023 - arxiv.org
Compartmental models are valuable tools for investigating infectious diseases. Researchers
building such models typically begin with a simple structure where compartments …

Multimodal system design integration using category theory

Y Mordecai, A Engel - 2023 IEEE International Systems …, 2023 - ieeexplore.ieee.org
Systems Engineering discipline oversees the system's conceptual, logical, and physical
integration. A collaborative mindset is a key success factor for complex systems' conceptual …

Relational Composition of Physical Systems: A Categorical Approach

O Lynch - arXiv preprint arXiv:2310.06088, 2023 - arxiv.org
In this master's thesis, we rigorously develop two frameworks of relational composition of
systems using tools from category theory. The first framework addresses port-Hamiltonian …