In a series of talks, we discuss the theory of species of combinatorial structures. In this introductory talk, we take a look at the surprising power of the notion of species, which is nothing but a functor from the category of finite sets and bijections to the category of finite sets and functions.
