is a weight measure on [c, d], where δc and δd denote the Dirac deltas at c and d, and λ [ c, d] is Lebesgue measure on [c, d]. It follows that [c, d] is the total mass of this measure, which is ...
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 ...
Feb 2, 2025 If you want to help save US federal web pages and databases, here are some things to do.
Results that may be inaccessible to you are currently showing.
Hide inaccessible results