Abstract
We provide two new characterizations for finitely generated varieties with Taylor terms. The first characterization is using “absorbing sets” and the second one “cyclic operations”.
These new conditions allow us to reprove the conjecture of Bang-Jensen and Hell and the characterization of locally finite Taylor varieties using weak near-unanimity operations in an elementary and self-contained way.