Studying generalized automata and coalgebras in the category of species reveals rich applications in modern combinatorics and category theory.
