Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

October 17, 2024

Associahedra in Quantum Field Theory

Posted by John Baez

I haven’t been carefully following quantum field theory these days, but some folks on the Category Theory Community Server asked me what I thought about recent work using the ‘amplitudohedron’ and other polytopes, so I decided to check out these videos:

There are 5, and so far I’ve only finished watching the first. But I have to say: I enjoyed it more than any lecture on physics I’ve seen for a long time!

Arkani-Hamed has the amusing, informal yet clear manner of someone like Feynman or Coleman. And he explains, step by step, how imaginary particle physicists in some other universe could have invented the associahedra just by doing scattering experiments and looking for poles in the S-matrix. That blew my mind.

Posted at 5:00 PM UTC | Permalink | Post a Comment

October 11, 2024

Axiomatic Set Theory 4: Subsets

Posted by Tom Leinster

Previously: Part 3

This phase of the course is all about building up the basic apparatus. We’ve stated our axioms, and it might seem like they’re not very powerful. It’s our job now to show that, in fact, they’re powerful enough to do just about everything with sets that mathematicians ever want. We began that job this week, with a chapter on subsets.

Posted at 11:26 AM UTC | Permalink | Followups (3)

October 10, 2024

2-Rigs and the Splitting Principle

Posted by John Baez

We’re done!

Our paper categorifies a famous method for studying vector bundles, called the ‘splitting principle’. But it also continues our work on representation theory using categorified rigs, called ‘2-rigs’. We conjecture a splitting principle for 2-rigs, and prove a version of it in the universal example.

But we also do more. I’ll only explain a bit, today.

Posted at 10:00 AM UTC | Permalink | Followups (2)

October 4, 2024

Axiomatic Set Theory 3: The Axioms, Part Two

Posted by Tom Leinster

Previously: Part 2. Next: Part 4

This week, we finished formulating the axioms of the Elementary Theory of the Category of Sets.

Posted at 4:16 PM UTC | Permalink | Followups (10)