It's finally here! 🎉 Software that uses category theory to let you build models of dynamical systems. We're going to train epidemiologists to use this to model the spread of disease. My first talk on this will be Wednesday June 29 at 17:00 UTC. You're invited!


My talk is at a seminar on graph rewriting, so I'll explain how the math applies to graphs before turning to 'stock-flow diagrams', like this here.

Stock-flow diagrams are used to create models in epidemiology. There's a functor mapping them to dynamical systems. (2/n)

But the key idea is 'compositional modeling'. This lets different teams build different models and then later assemble them into a larger model. The most popular existing software for stock-flow diagrams does not allow this. Category theory to the rescue!


There's a lot more to say - but why not just come to my talk this Wednesday? It'll be 10 am in California. You can join via Zoom or watch it live-streamed on YouTube, or recorded later. Go to this link:


This work would be impossible without the right team! Brendan Fong developed decorated cospans and then started the Topos Institute. My coauthors Evan Patterson and Sophie Libkind work there, and they know how to program using category theory.


Evan started a seminar on epidemiological modeling - and my old grad school pal Nate Osgood showed up, along with his grad student Xiaoyan Li! He's a computer scientist who now runs the main COVID model for the government of Canada.


So, all together we have serious expertise in category theory, computer science, and epidemiology. Any two parts alone would not be enough for this project.

Moral: to apply category theory to real-world problems, you need a team.

And we're just getting started!

(7/n, n = 7)

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!