Posts with this logo use 
August 5, 2025
(BT) Diversity from (LC) Diversity
Posted by Tom Leinster
Guest post by Mark Meckes
Around 2010, in papers that both appeared in print in 2012, two different mathematical notions were introduced and given the name “diversity”.
One, introduced by Tom Leinster and Christina Cobbold, is already familiar to regular readers of this blog. Say is a finite set, and for each we have a number that specifies how “similar” and are. (Typically we also assume .) Fix a parameter . If is a probability distribution on , then the quantity (with the cases defined by taking limits) can be interpreted as the “effective number of points” in , taking into account both the similarities between points as quantified by and the weights specified by . Its logarithm is a refinement of the -Rényi entropy of . The main motivating example is when is a set of species of organisms present in an ecosystem, and quantifies the “effective number of species” in , accounting for both similarities between species and their relative abundances. This family of quantities turns out to subsume many of the diversity measures previously introduced in the theoretical ecology literature, and they are now often referred to as Leinster–Cobbold diversities.
August 2, 2025
Jack Morava
Posted by John Baez
Today I heard from David Benson that Jack Morava died yesterday. This comes as such a huge shock that I can’t help but hope Benson was somehow misinformed. Morava has been posting comments to the n-Café and sending emails to me even very recently.
This is all I know, now.
July 28, 2025
The Duflo Isomorphism and the Harmonic Oscillator Hamiltonian
Posted by John Baez
Quick question. Classically the harmonic oscillator Hamiltonian is often written , while quantum mechanically it gets some extra ‘ground state energy’ making the Hamiltonian
I’m wondering if there’s any way to see the extra here as arising from the Duflo isomorphism. I’m stuck because this would seem to require thinking of as lying in the center of the universal enveloping algebra of some Lie algebra, and while it is in the center of the universal enveloping algebra of the Heisenberg algebra, that Lie algebra is nilpotent, so it seems the Duflo isomorphism doesn’t give any corrections.
July 25, 2025
The Clowder Project
Posted by John Baez
guest post by Emily de Oliveira Santos
I’d like to share here a personal project which might be of interest to the readers of this blog: the Clowder Project.
Clowder is a wiki and reference work for category theory built using the same general infrastructure and tag system of the Stacks Project, Gerby. The intention is for it to eventually become for category theory what the Stacks Project is for algebraic geometry.
July 24, 2025
2-Rig Conjectures Proved?
Posted by John Baez
Kevin Coulembier has come out with a paper claiming to prove some conjectures that Todd Trimble, Joe Moeller and I made in 2-Rig extensions and the splitting principle:
- Kevin Coulembier, Invertible exterior powers.
Lawvere’s Work on Arms Control
Posted by John Baez
Did you know that Lawvere did classified work on arms control in the 1960s, back when he was writing his thesis? Did you know that the French government offered him a job in military intelligence?
July 7, 2025
How to Count n-Ary Trees
Posted by John Baez
How do you count rooted planar -ary trees with some number of leaves? For this puzzle leads to the Catalan numbers. These are so fascinating that the combinatorist Richard Stanley wrote a whole book about them. But what about ?
I’ll sketch one way to solve this puzzle using generating functions. This will give me an excuse to talk a bit about something called ‘Lagrange inversion’.
June 26, 2025
Counting with Categories (Part 3)
Posted by John Baez
Here’s my third and final set of lecture notes for a 4-hour minicourse at the Summer School on Algebra at the Zografou campus of the National Technical University of Athens.
Part 1 is here, and Part 2 is here.
Counting with Categories (Part 2)
Posted by John Baez
Here’s my second set of lecture notes for a 4-hour minicourse at the Summer School on Algebra at the Zografou campus of the National Technical University of Athens.
Part 1 is here, and Part 3 is here.
June 22, 2025
Counting with Categories (Part 1)
Posted by John Baez
These are some lecture notes for a 4-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 omitting the pictures I’ll draw on the whiteboard, along with various jokes and profoundly insightful remarks. This is just the structure of the talk, with all the notation and calculations.
Long-time readers of the -Category Café may find little new in this post. I’ve been meaning to write a sprawling book on combinatorics using categories, but here I’m trying to explain the use of species and illustrate them with a nontrivial example in less than 1.5 hours. That leaves three hours to go deeper.
Part 2 is here, and Part 3 is here.
June 1, 2025
Tannaka Reconstruction and the Monoid of Matrices
Posted by John Baez
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 on this, The Classical Groups.
This approach is often treated as a bit outdated, since it doesn’t apply to all the simple Lie groups: it leaves out the so-called ‘exceptional’ groups. But what makes a group ‘classical’?
There’s no precise definition, but a classical group always has an obvious representation, you can get other representations by doing obvious things to this obvious one, and it turns out you can get all the representations this way.
For a long time I’ve been hoping to bring these ideas up to date using category theory. I had a bunch of conjectures, but I wasn’t able to prove any of them. Now Todd Trimble and I have made progress:
- John Baez and Todd Trimble, Tannaka reconstruction and the monoid of matrices.
We tackle something even more classical than the classical groups: the monoid of matrices, with matrix multiplication as its monoid operation.
April 16, 2025
Position in Stellenbosch
Posted by John Baez
April 15, 2025
Categorical Linguistics in Quanta
Posted by Tom Leinster
Quanta magazine has just published a feature on Tai-Danae Bradley and her work, entitled
Where Does Meaning Live in a Sentence? Math Might Tell Us.
The mathematician Tai-Danae Bradley is using category theory to try to understand both human and AI-generated language.
It’s a nicely set up Q&A, with questions like “What’s something category theory lets you see that you can’t otherwise?” and “How do you use category theory to understand language?”
Particularly interesting for me is the part towards the end where Bradley describes her work with Juan Pablo Vigneaux on magnitude of enriched categories of texts.
April 7, 2025
Quantum Ellipsoids
Posted by John Baez
With the stock market crash and the big protests across the US, I’m finally feeling a trace of optimism that Trump’s stranglehold on the nation will weaken. Just a trace.
I still need to self-medicate to keep from sinking into depression — where ‘self-medicate’, in my case, means studying fun math and physics I don’t need to know. I’ve been learning about the interactions between number theory and group theory. But I haven’t been doing enough physics! I’m better at that, and it’s more visceral: more of a bodily experience, imagining things wiggling around.
So, I’ve been belatedly trying to lessen my terrible ignorance of nuclear physics. Nuclear physics is a fascinating application of quantum theory, but it’s less practical than chemistry and less sexy than particle physics, so I somehow skipped over it.
I’m finding it worth looking at! Right away it’s getting me to think about quantum ellipsoids.
March 26, 2025
The McGee Group
Posted by John Baez
This is a bit of a shaggy dog story, but I think it’s fun. There’s also a moral about the nature of mathematical research.
Once I was interested in the McGee graph, nicely animated here by Mamouka Jibladze:
This is the unique (3,7)-cage, meaning a graph such that each vertex has 3 neighbors and the shortest cycle has length 7. Since it has a very symmetrical appearance, I hoped it would be connected to some interesting algebraic structures. But which?