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

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

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

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 2, 2025 If you want to help save US federal web pages and databases, here are some things to do.

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