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
Grace Lyo
Senior Advisor
Grace Lyo received a mathematics PhD from UC Berkeley in 2007 and was a CLE Moore Instructor at MIT until 2010. Around this time her interest transitioned from proving conjectures in algebraic topology to improving the state of online learning, and she joined the Harvard-MIT education consortium EdX as a Fellow. Grace is now an Assistant Dean at the Stanford Graduate School of Business. She is excited to bring her knowledge of business practices back to her home community of mathematicians, helping Topos find its place and thrive within the wider world.
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