Call for 2026 Summer Research Associates
Come spend the summer at the Topos Institute! For early-career researchers, we’re excited to open up applications for our 2026 Summer Research Associate program.
2025-11-24
Ilyas Khan
Chair (UK)
Topos UK
Ilyas Khan is the founder of Quantinuum. He was the founding Chairman of The Stephen Hawking Foundation, is a Fellow of St Edmund’s College at the University of Cambridge, and is a Leader in Residence at the Judge Business School, where he was instrumental in establishing the Accelerate Cambridge programme. Beyond his leadership in quantum computing, Ilyas has a long-standing interest in the foundations of mathematics and category theory and is a Life Member of the American Mathematical Society.
CatColab 0.2: Wren
Today we’re excited to announce the first alpha release of CatColab 0.2: Wren. CatColab is software for making models of the world together.
2025-02-05
Introducing CatColab
Today we’re excited to announce the first pre-alpha release of our new software CatColab 0.1: Hummingbird. CatColab is software for making models of the world together.
2024-10-02
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