Despite the “2” in the title, you can follow this post without having read part 1. The whole point is to sneak up on the metricky, analysisy stuff about potential functions from a categorical angle, ...

In the beginning, there were hardly any spaces whose magnitude we knew. Line segments were about the best we could do. Then Mark Meckes introduced the technique of potential functions for calculating ...

The Glasgow Lab for AI Verification or ‘Glaive’ is a non-profit limited company focusing on applying category theory to AI verification. The people working for it include Dylan Braithwaite, Jade ...

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

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

May 26, 2015 Greg Meredith and Mike Stay have a new paper on modeling the pi calculus with 2-categories. Should Mathematicians Cooperate with GCHQ? Part 2 Apr 30, 2014 Reply to Richard Pinch’s article ...

Feb 3, 2010 There will be a workshop on Quantum Physics and Logic on Saturday and Sunday May 29-30, 2010 at Oxford. Rational Homotopy Theory in an (oo,1)-Topos Mar 2, 2010 On rational homotopy theory ...

People in measure theory find it best to work with, not arbitrary measurable spaces, but certain nice ones called standard Borel spaces. I’ve used them myself. a finite or countably infinite set with ...

Last time, I talked about the magnitude of a set-valued functor. Today, I’ll introduce the comagnitude of a set-valued functor. I don’t know how much there is to the comagnitude idea. Let’s see! I’ll ...