We’ll introduce species, a categorical way to encode and analyze the number of structures of a certain type on a given set. Along the way, we’ll talk about the idea that started it all – Joyal’s proof of Cayley’s theorem, a classical result.

A basic idea of what a category is and what a functor is will be helpful.