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

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