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 ...
Gerard Westendorp has a real knack for geometry, and here is his answer. Here is Thurston’s procedure. First draw the lattice of Eisenstein integers in the complex plane: ...
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 ...
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 ...
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 ...