This week, 50 category theorists and software engineers working on “ safeguarded AI ” are meeting in Bristol. They’re being funded by £59 million from ARIA, the UK’s Advanced Research and Invention ...

These are some lecture notes for a 4 1 2 -hour minicourse I’m teaching at the Summer School on Algebra at the Zografou campus of the National Technical University of Athens. To save time, I am ...

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

I’ve been blogging a bit about medieval math, physics and astronomy over on Azimuth. I’ve been writing about medieval attempts to improve Aristotle’s theory that velocity is proportional to force, ...

September 2024's Entries The Space of Physical Frameworks (Part 5) Let’s think about how classical statistical mechanics reduces to thermodynamics in the limit where Boltzmann’s constant \ (k\) ...

In Part 1, I explained my hopes that classical statistical mechanics reduces to thermodynamics in the limit where Boltzmann’s constant k k approaches zero. In Part 2, I explained exactly what I mean ...

Posted by John Baez I keep wanting to understand Bernoulli numbers more deeply, and people keep telling me stuff that’s fancy when I want to understand things simply. But let me try again. The ...

I’m a little bemused by the popularity of the Galois theory notes. I’ve made quite a few sets of course notes public before, e.g.: Fourier analysis General topology Linear algebra Category theory But ...

Guest post by Utku Boduroğlu, Drew McNeely, and Nico Wittrock When is it appropriate to completely reinvent the wheel? To an outsider, that seems to happen a lot in category theory, and probability ...

In this year’s edition of the Adjoint School we covered the paper Triangulations, orientals, and skew monoidal categories by Stephen Lack and Ross Street, in which the authors construct a concrete ...

Bijection statement Here is the statement as I understand it to be, framed as a bijection of sets. My chief reference is the wonderful book Elliptic Curves, Modular Forms and their L-Functions by ...