But it’s the functional equation that sets the stage for focusing on zeroes of the Riemann zeta function with Re ( s) = 1 / 2 … and then the Riemann Hypothesis! So it’s worth thinking about. Hope ...

Having spent a lot of time pondering the octonionic projective plane and its possible role in the Standard Model of particle physics, I’m now getting interested in the ‘bioctonionic plane’, which is ...

You can classify representations of simple Lie groups using Dynkin diagrams, but you can also classify representations of ‘classical’ Lie groups using Young diagrams. Hermann Weyl wrote a whole book ...

Mar 26, 2025 The McGee group is one of the two smallest groups with an outer automorphism that preserves conjugacy classes. My route to understanding this fact was a long and winding one.

We’re brought up to say that the dual concept of injection is surjection, and of course there’s a perfectly good reason for this. The monics in the category of sets are the injections, the epics are ...

I want to go back over something from Part 11, but in a more systematic and self-contained way. I’m stating these facts roughly now, to not get bogged down. But I’ll state them precisely, prove them, ...

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

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

When is it appropriate to completely reinvent the wheel? To an outsider, that seems to happen a lot in category theory, and probability theory isn’t spared from this treatment. We’ve had a useful ...

The study of monoidal categories and their applications is an essential part of the research and applications of category theory. However, on occasion the coherence conditions of these categories ...

such that the following 5 5 diagrams commute: (for f: x 0 → x 1 f:x_0\to x_1 and y ∈ 풞 y\in\mathcal{C}, we write f ⊗ y f\otimes y to mean f ⊗ id y: x 0 ⊗ y → x 1 ⊗ y f\otimes\operatorname{id}_y: ...