And the course feels like it’s mostly converging with any other set theory course, just with the special feature that everything remains resolutely isomorphism-invariant. This week we constructed N ...

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 ...

A category theorist might imagine that a chapter with this title would be about constructing colimits, and they’d be half right.

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 in topics like quantum computation, machine learning, numerical analysis or graph theory? Then you might like the Adjoint ...

Thurston’s paper Shapes of polyhedra and triangulations of the sphere is really remarkable. I’m writing about it in my next column for the Notices of the American Mathematical Society. Here’s a draft ...

W. P. Thurston, Shapes of polyhedra and triangulations of the sphere. Let me describe one of the key ideas as simply as I can. If you cut out the yellow shape here, you can fold it up along the red ...

Nov 2, 2024 You can now apply for the 2025 Summer Research Associate program at the Topos Institute! The deadline to apply is January 17, 2025.

Earlier this month the Mathematics Institute at Uppsala University hosted a conference called Categorification in Algebra and Topology, clearly a theme close to our collective heart. As yet there are ...