Combinatorial Species

Combinatorial species are a formalization of the concept of labelled structures in combinatorics, giving definitions for things like "natural" bijections in an elegant way. After motivating them, I'll explain how they're related to certain generating functions and use the theory to count stuff.