Category Theory in Epidemiology

Title screen of video

Open licensed recording on an Edinburgh Mathematical Soiety meeting hosted by The University of Edinburgh.

In this meeting, Prof. John Baez (University of California, Riverside) presents on a new category theory software.


“Stock and flow diagrams” are widely used for modeling in epidemiology. Modelers often regard these diagrams as an informal step toward a mathematically rigorous formulation of a model in terms of ordinary differential equations. However, these diagrams have a precise syntax, which can be explicated using category theory. Although commercial tools already exist for drawing these diagrams and solving the differential equations they describe, my collaborators and I have created new software that overcomes some limitations of existing tools. Basing this software on categories has many advantages, but I will explain three: functorial semantics, model composition, and model stratification. This is joint work with Xiaoyan Li, Sophie Libkind, Nathaniel Osgood, Evan Patterson and Eric Redekopp.

 View ‘Category Theory in Epidemiology’ directly on Media Hopper Create


Header: Screenshot from the videos