Dirichlet Polynomials form a Topos

Authors David I. Spivak, David Jaz Myers

Publication date 10 March 2020

General theory of categories and functors (18A99) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)

Abstract: One can think of power series or polynomials in one variable, such as

P (x) = 2 x^{3} + x + 5

, as functors from the category

m a t h s f S e t

of sets to itself; these are known as polynomial functors. Denote by

m a t h s f {P o l y}_{m a t h s f S e t}

the category of polynomial functors on

m a t h s f S e t

and natural transformations between them. The constants

0, 1

and operations

+, i m e s

that occur in

P (x)

are actually the initial and terminal objects and the coproduct and product in

m a t h s f {P o l y}_{m a t h s f S e t}

. Just as the polynomial functors on

m a t h s f S e t

are the copresheaves that can be written as sums of representables, one can express any Dirichlet series, e.g.

s u m_{n = 0}^{i} n f t y 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.

Recommendations

Cited in

(1)

Polynomial Functors and Shannon Entropy

This page was built for publication: Dirichlet Polynomials form a Topos

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6336484)