 It now is clear that we have a category of algebras for a given functor. And so we  immediately have the concept of initial and final algebras.   There is no guarantee that these exist, but in many interesting cases  they do.    The reason we are interested in initial algebras is their connection to recursion.      