  One can think of power series or polynomials in one variable, such as
$P(x)=2x^3+x+5$, as functors from the category $\mathsf{Set}$ of sets to
itself; these are known as polynomial functors. Denote by
$\mathsf{Poly}_{\mathsf{Set}}$ the category of polynomial functors on
$\mathsf{Set}$ and natural transformations between them. The constants $0,1$
and operations $+,\times$ that occur in $P(x)$ are actually the initial and
terminal objects and the coproduct and product in
$\mathsf{Poly}_{\mathsf{Set}}$.
  Just as the polynomial functors on $\mathsf{Set}$ are the copresheaves that
can be written as sums of representables, one can express any Dirichlet series,
e.g.\ $\sum_{n=0}^\infty n^x$, as a coproduct of representable presheaves. A
Dirichlet polynomial is a finite Dirichlet series, that is, a finite sum of
representables $n^x$. We discuss how both polynomial functors and their
Dirichlet analogues can be understood in terms of bundles, and go on to prove
that the category of Dirichlet polynomials is an elementary topos.
