scispace - formally typeset
Book ChapterDOI

The calculus of virtual species and K-species

Reads0
Chats0
About
The article was published on 1986-01-01. It has received 42 citations till now. The article focuses on the topics: Wreath product & Isomorphism class.

read more

Citations
More filters
Journal ArticleDOI

Two applications of analytic functors

TL;DR: The theory of analytic functors is applied to two topics related to theoretical computer science, one a new verification of the Lagrange-Good inversion formula using several ideas appearing in semantics of lambda calculi, especially the relation between categorical traces and fixpoint operators.
Journal ArticleDOI

Enumeration of trees by inversions

TL;DR: This work defines inversion polynomials for ordered, plane, and cyclic trees, and derives asymptotic formulae for those results for which they do not have a closed form.
Journal ArticleDOI

On asymmetric structures

TL;DR: The asymmetry indicator series can be applied to the systematic classification and enumeration of asymmetric F-structures when the species F is defined (explicitly or recursively) by combinatorial equations.
Journal ArticleDOI

Lagrange inversion for species

TL;DR: A simple combinatorial proof a Langrange inversion theorem for species and derive from it Labelle's Lagrange inversions theorem for cycle index series for symmetric functions is given.
Journal ArticleDOI

Combinatorial proofs of some limit formulas involving orthogonal polynomials

TL;DR: To prove combinatorially several limit formulas relating different families of hypergeometric orthogonal polynomials in Askey's chart classifying them, seven limit formulas are proved by “looking at surviving structures” when taking the limit.
References
More filters
Book

Categories for the Working Mathematician

TL;DR: In this article, the authors present a table of abstractions for categories, including Axioms for Categories, Functors, Natural Transformations, and Adjoints for Preorders.
Book

Ordinary differential equations

TL;DR: In this article, the Poincare-Bendixson theory is used to explain the existence of linear differential equations and the use of Implicity Function and fixed point Theorems.
Journal ArticleDOI

Une théorie combinatoire des séries formelles

TL;DR: In this article, a combinatorial interpretation of formal power series is presented, based on the concept of species of structures, and a categorical approach is used to formulate it.