Combinatorial species give a categorical framework for reasoning about combinatorial structures.
A. Joyal?, Une théorie combinatoire des séries formelles, Advances in Mathematics 42, pages 1-82, 1981.
F. Bergeron?, G. Labelle?, and P. Leroux?, Combinatorial Species and Treelike Structures?, Cambridge, Cambridge U. Press, 1998.
William R. Schmitt?, Hopf Algebras of Combinatorial Structures, Canadian Journal of Mathematics, Volume 45, Issue 2, pages 412-428, 1993. DOI