This is a question I've asked myself a couple of times before, but its appearance on MO is somewhat motivated by this thread, and sigfpe's comment to Pete Clark's answer.

I've often heard it claimed that combinatorial species are wonderful and prove that category theory is also useful for combinatorics. I'd like to be talked out of my skepticism!

I haven't read Joyal's original 82-page paper on the subject, but browsing a couple of books hasn't helped me see what I'm missing. The Wikipedia page, which is surely an unfair gauge of the theory's depth and uses, reinforces my skepticism more than anything.

As a first step in my increasing appreciation of categorical ideas in fields familiar to me (logic may be next), I'd like to hear about some uses of combinatorial species to prove things in combinatorics.

I'm looking for examples where there is a clear advantage to their use. To someone whose mother tongue is not category theory, it is not helpful to just say that "combinatorial structures are functors, because permuting the elements of a set A gives a permutation of the partial orders on A". This is like expecting baseball analogies to increase a brazilian guy's understanding of soccer. In fact, if randomly asked on the street, I would sooner use combinatorial reasoning to understand finite categories than use categories of finite sets to understand combinatorics.

**Added for clarification:** In my (limited) reading of combinatorial species, there is quite a lot going on there that is combinatorial. The point of my question is to understand how the *categorical* part is helping.

Seven Trees in One, which is a perfect illustration of how categorical thinking can lead to surprising combinatorial insight - ams.org/mathscinet-getitem?mr=1354064 $\endgroup$