A note on effectively projective objects

We investigate the important role of effective projective objects in the study of (finitary, multi sorted) varieties. In particular we give a new version of the classical Lawvere characterization Theorem and an application to the case of locally finitely presentable categories.