Symmetric monoidal completions and the exponential principle among labeled combinatorial structures
Material type:
ArticleSeries: ^p Datos electrónicos (1 archivo : 231 KB)Publication details: ref_localidad@37940 : , 2003Subject(s): Online resources: Summary: We generalize Dress and M¨uller’s main result in [5]. We observe that their result can be seen as a characterization of free algebras for certain monad on the category of species. This perspective allows to formulate a general exponential principle in a symmetric monoidal category. We show that for any groupoid G, the category !G of presheaves on the symmetric monoidal completion !G of G satisfies the exponential principle. The main result in [5] reduces to the case G = 1. We discuss two notions of functor between categories satisfying the exponential principle and express some well known combinatorial identities as instances of the preservation properties of these functors. Finally, we give a characterization of G as a subcategory of !G.
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Capítulo de libro
|
Biblioteca Fac.Informática | A0102 (Browse shelf(Opens below)) | Available | DIF-A0102 |
Browsing Biblioteca Fac.Informática shelves Close shelf browser (Hides shelf browser)
Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Disponible también en línea (Cons. 06/03/2009)
We generalize Dress and M¨uller’s main result in [5]. We observe that their result can be seen as a characterization of free algebras for certain monad on the category of species. This perspective allows to formulate a general exponential principle in a symmetric monoidal category. We show that for any groupoid G, the category !G of presheaves on the symmetric monoidal completion !G of G satisfies the exponential principle. The main result in [5] reduces to the case G = 1. We discuss two notions of functor between categories satisfying the exponential principle and express some well known combinatorial identities as instances of the preservation properties of these functors. Finally, we give a characterization of G as a subcategory of !G.
Theory and Applications of Categories, Vol. 11, No. 18, 2003, pp. 397–419.
There are no comments on this title.