Implication Details

Assumptions: finitary algebraic

Conclusions: generator

Reason: Pick an algebraic theory that represents the category. The free algebra F(1)F(1) on one generator is a generator since morphisms F(1)→XF(1) \to X correspond to the elements of (the underlying set of) the algebra XX.