Overview
Learn about the development of compositional System Dynamics modeling for public health applications in this Topos Institute Colloquium talk. Explore how System Dynamics modeling uses three types of diagrams - Causal Loop Diagrams (CLDs), system structure diagrams, and Stock & Flow diagrams - to enhance transparency and reasoning in interdisciplinary public health modeling teams. Discover the progress toward creating a compositional framework that addresses current tool limitations through StockFlow.jl within AlgebraicJulia and ModelCollab, a real-time collaborative tool. Gain insights into the mathematical foundations, including copresheaves, structured cospans, and functorial semantics, that enable modular building and flexible analysis of Stock & Flow diagrams. Understand future development plans for enhanced CLD support and computational statistics algorithms in this collaborative work by researchers from multiple institutions.
Syllabus
Introduction
Outline
Agile Model
System Dynamics
Composition
Homomorphisms
Stratification
Examples
Map
Next Exercise
Questions
Taught by
Topos Institute