Cauchy distributions form a convolution semigroup, i.e. μt + s = μt * μs. This is because to hit a plane at distance t + s the Brownian motion has to hit a parallel plane at distance t first, and then ...

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

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

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

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

Oct 4, 2016 A call for applications to an AMS Mathematics Research Community workshop in HoTT to be held in June 2017.

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

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

I hope you’ve read the news: Ethan Singer, Thousands of U.S. government web pages have been taken down since Friday, New York Times, 2 Feburary 2025. Many of the pages taken down mention DEI, but they ...