Joyal's species are a categorification of generating functions. A species assigns to each finite set a collection of structures — graphs, trees, permutations — and the generating function counts how many structures exist on sets of each size. The species carries the structural information; the generating function is its shadow. This is a foundational tool of modern combinatorics, connecting counting problems to their underlying symmetry groups.
Baez (arXiv:2502.01833) shows that the same framework categorifies a completely different family of objects: the zeta functions of arithmetic geometry. For any scheme of finite type over the integers, a “zeta species” assigns to each finite set the ways of making that set into a semisimple commutative ring and choosing a point on the scheme over that ring. When the species is assigned not a generating function but a Dirichlet series, what emerges is the arithmetic zeta function — the object that encodes how many solutions the scheme has over every finite field.
The structural point is that the same machine produces both. Species → generating function gives combinatorics. Species → Dirichlet series gives arithmetic geometry. The categorification is not two separate lifts, one for each domain. It is a single lift with two projections. The generating function counts labeled structures on finite sets. The zeta function counts points over finite fields. Both are shadows of the same categorical object, cast in different directions.
This unifies two sides of number theory that have historically been treated as separate disciplines. Additive combinatorics counts how structures compose. Multiplicative number theory counts how primes distribute. The species framework reveals that the objects being counted are the same — finite sets equipped with structure — and the difference is only in how the counting is performed. The generating function sums over set sizes. The Dirichlet series sums over prime powers. The structures don't care which sum you take.