HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Science / Faculty of Science >
Hokkaido University Preprint Series in Mathematics >

Categorical aspects of generating functions (I) Exponential formulas and Krull-Schmidt categories

Files in This Item:
pre416.pdf1.81 MBPDFView/Open
Please use this identifier to cite or link to this item:https://doi.org/10.14943/83562

Title: Categorical aspects of generating functions (I) Exponential formulas and Krull-Schmidt categories
Authors: Yoshida, T. Browse this author
Issue Date: 1-Jun-1998
Publisher: Department of Mathematics, Hokkaido University
Journal Title: Hokkaido University Preprint Series in Mathematics
Volume: 416
Start Page: 1
End Page: 44
Abstract: In this paper, we study formal power series with exponents in a category. For example, the generating function of a category E with finite Hom-sets is defined by E(t) = :Etx /IAut(X)I, where the summation is taken over all isomorphism classes of obejects of E. We can use such power series to enumerate the number of £-structures along a faithful functors(Theorem 4.6). Our theory is closely related to the thory of species (Joyal 1981). A species can be identified with a faithful functor from a groupoid to the category of finite sets (The­orem 3.6). We use mainly the concept of faithful functors with finite fibers instead of that of species, by which we can separate the roles which categories play and which functors play. For example, the ex­ponential formula E(t) = exp(Con(E)(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.
Type: bulletin (article)
URI: http://hdl.handle.net/2115/69166
Appears in Collections:理学院・理学研究院 (Graduate School of Science / Faculty of Science) > Hokkaido University Preprint Series in Mathematics

Submitter: 数学紀要登録作業用

Export metadata:

OAI-PMH ( junii2 , jpcoar_1.0 )

MathJax is now OFF:


 

 - Hokkaido University