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.
Postdoctoral Researcher
Jason likes to find and share the “best” ways of thinking about a problem/system/computation to save effort on future thinking. He completed his PhD at Macquarie University, so he believes these best ways of thinking can usually be expressed with category theory. At Topos he gets to augment and apply his understanding of low-dimensional category theory and categorical logic to find good ways of thinking about problems that interface with “real-world” application.
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.
In the second post of this series about Relational Thinking: from abstractions to applications, we look at the technologies used to build the book.
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.

A follow-up to Algebraic Geometry for the Working Programmer, this post explains a category-theoretic approach to symbolic open dynamical systems.