 Up until now, we have merely given examples of algebras for different functors. The advantage of the categorical  formulation is that the usual notions of a morphism of algebras turn out to be special case of a more general definition. 