Projects range from applied category theory to logic, programming languages, and science, technology, and society. Specific topics for 2025 include, but are not limited to: Computational category ...

Thurston gave a concrete procedure to construct triangulations of the 2-sphere where 5 or 6 triangles meet at each vertex.

Are you interested in using category-theoretic methods to tackle problems outside of pure mathematics? Then you might like the Adjoint School. You’ll work online on a research project with a mentor ...

As the course continues, the axioms fade into the background. They rarely get mentioned these days. Much more often, the facts we’re leaning on are theorems that were deduced from theorems that were ...