Abstract :
In this paper, we study formal power series with exponents in a category. For example, the generating function of a category with finite hom sets is defined by (t) = ∑tX/Aut(X), where the summation is taken over all isomorphism classes of objects of . We can use such power series to enumerate the number of -structures along a faithful functor (Theorem 4.6). Our theory is closely related to the theory of species (Joyal, 1981). A species can be identified with a faithful functor from a groupoid to the category of finite sets (Theorem 3.6). We use mainly the concept of faithful functors with finite fibers instead of species, so that we can separate the roles categories and functors play. For example, the exponential formula (t) = exp(Con( )(t)) means the unique coproduct decomposition property (Theorem 5.8). In the final section, we give some applications of our theory to rather classical enumerations.
