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
Edward Kmett
Senior Advisor
Edward Kmett is Head of Software Engineering at AI hardware start-up Groq. Previously, he was a Senior Researcher at the Machine Intelligence Research Institute, where he worked on programming languages and ensuring safe development of artificial intelligence systems. He is a prominent Haskell developer known for popularizing the use of lenses in functional programming, and maintains a significant portion of all Haskell core libraries.
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