John Baez on E8, sphere packing, and category theory [interview] : r/math - Reddit
reddit.com
John Baez shows how category theory's obsession with composition isn't abstract pedantry — it's the hidden grammar unifying physics, geometry, and even the densest ways to stack spheres in 8 dimensions.
Category TheoryGroup TheoryStructural RealismMathematical Platonism
Theory Briefing
- Baez argues that composition — how morphisms chain together — is what gives a category its true mathematical personality, not just its objects.
- The exceptional symmetry group E8 connects to the densest known sphere packing in 8 dimensions, a puzzle category theory helps illuminate structurally.
- The interview ranges from pure mathematics to AI, showing how categorical thinking acts as a unifying language across wildly different domains.