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
Kevin Carlson
Research Software Engineer
Topos US
Kevin is a mathematician, software engineer and math educator. He comes to Topos from a category theory Ph.D. at UCLA and master’s at Cambridge via a period in ed tech. His key intellectual interest is in finding effective angles for non-experts to use and understand mathematical structures that have traditionally been reserved for a narrow group of initiates focused on problems far from everyday life. This applies to everything from helping ordinary category theorists use infinity-categories to helping high schoolers use group theory to, primarily now, helping scientists use categorical structures in their applied work. He was known as Kevin Arlin between 2019 and 2024.