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

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.

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

John Baez, Joe Moeller and Todd Trimble, 2-rig extensions and the splitting principle. Our paper categorifies a famous method for studying vector bundles, called the ‘splitting principle’. But it also ...

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

Hello unknown@207.46.13.124. So nice of you to stop by. I'm a member of the Theory Group here at UT. I've been at UT since September 1994. Before coming here, I was an Assistant Professor in the ...

This is the homepage for the UT Geometry and Quantum Field Theory Seminar. At the organizational meeting we will flesh out the details of our plans for the semester. Below are some suggestions to get ...

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

I didn’t want to drown the students in notation, so I didn’t give precise definitions of “property” and “formula”. Instead, I aimed to give them practical tools that would apply to situations they’re ...