This repo contains instructional materials for the 2022 Workshop on Compositional Methods for Health Modeling, hosted by CANMOD (Canadian Network for Modeling Infectious Diseases).
To set up Julia and AlgebriacJulia, see our installation instructions or our more detailed step-by-step installation instructions.
- James Fairbanks (University of Florida)
- Xiaoyan Li (University of Saskatchewan)
- Sophie Libkind (Stanford University / Topos Institute)
- Nathaniel Osgood (University of Saskatchewan)
- Evan Patterson (Topos Institute)
A detailed schedule with times can be found here.
- Orientation (Nate) [slides]
- Applied category theory in epidemiology (James)
- Graphs and C-sets (Evan) [slides]
- Introduction to Petri nets (Nate) [slides]
- Julia basics (James) [code]
- AlgebraicJulia introduction (James)
- AlgebraicPetri introduction (Nate) [notebook]
- Coproducts and pushouts of C-sets (Evan) [slides]
- Open systems (Sophie) [slides] [notebook]
- Composing Petri nets (Sophie) [slides] [notebook]
- Introduction to stock and flow diagrams (Nate) [slides]
- Composing stock and flow diagrams (Xiaoyan) [slides] [examples] [exercises: simple, hard]
- Model stratification with limits (Sophie) [slides] [notebook]
- Hackathon