« Overview

Definition. Dirichlet Type of Species [00EY]

Given a species define the dirichlet type of by

Backlinks

Dirichlet Series [00F1]

For a dirichlet species define

where is the dirichlet type of , and is the groupoid cardinality of the n-th component of the dirichlet type. We call the dirichlet series of , and the -th summand.