Combinatorial species

The class of all finite sets, along with the class of all bijections from one to another, is a category. A combinatorial species is a covariant functor from that category into itself.

For example, the "species of permutations" maps each finite set A to the set of all permutations of A, and each bijection from A to another set B naturally induces a bijection from the set of all permutations of A to the set of all permutations of B. Similarly, the "species of partitions" can be defined by assigning to each finite set the set of all its partitions, and the "power set species" assigns to each finite set its power set.

Need to explain how to add, multiply, compose, and differentiate combinatorial species.