We investigate the important role of effective projective objects in the st
udy of(finitary multi sorted) varieties. In particular we give a new versio
n of the classical Lawvere characterization Theorem and an application to t
he case of locally finitely presentable categories. (C) 2001 Elsevier Scien
ce B.V. All rights reserved.