CatColab v0.4: Robin
Since our last blog post about CatColab, we’ve had two releases, meaning we’re now at v0.4: Robin. This brings a few major new features, including compositional notebooks and novel analyses for Petri nets.
2026-01-08
Xiaoyan Li
Postdoctoral Researcher (Alum)
Topos UK
Xiaoyan Li is a computer scientist and mathematical modeller with expertise spanning computer science, data science, and applied mathematics. She holds a Bachelor’s degree in Applied Mathematics, as well as Master’s degrees in Computer Science and Petroleum Engineering. She is currently a Ph.D. candidate in Computer Science at the University of Saskatchewan, scheduled to defend her dissertation in March 2025.
Her research lies at the intersection of machine learning, dynamical system modeling, and applied category theory, with a strong focus on real-world applications. On the application side, her work focuses on developing theory-based machine learning models for public health, enabling policy-making through infectious disease transmission simulations, forecasting, and counterfactual interventions. On the theoretical side, she explores applied category theory for dynamical systems, aiming to design next-generation, modular, and composable modelling frameworks and tools.
How to write a fantastic book in four months, Part III
In the third post of this series about Relational Thinking: from abstractions to applications, we look at the story-telling approach that we took in writing the book.
2024-07-09
How to write a fantastic book in four months, Part II
In the second post of this series about Relational Thinking: from abstractions to applications, we look at the technologies used to build the book.
2024-07-04
How to write a fantastic book in four months, Part I
In the first post of this series, we introduce the freely available online book Relational Thinking: from abstractions to applications, starting with the story of how it came into being and giving a brief overview of its contents.
2024-06-28
Symbolic presentations of dynamical systems
A follow-up to Algebraic Geometry for the Working Programmer, this post explains a category-theoretic approach to symbolic open dynamical systems.
2023-05-08
![The map of mathematics [Source]](../../blog/2023-01-05-preparing-for-networked-mathematics/map.jpg)
![The cohort of Em-Cats speakers and their talk titles/topics. [PDF]](../../blog/2021-08-24-em-cats-announcement/em-cats-poster.png)
No matching items