The colored edge theory of A. Bulatov and binary absorption in minimal Taylor algebras

We find a new definition of colored edge graphs of finite algebras in the case of minimal Taylor algebras, a definition which includes the graphs invented by A. Bulatov. Next we proceed to reprove the main results of A. Bulatov’s theory in the case of minimal Taylor algebras and in our setting, finding several simplifications compared to the more general case of smooth algebras Bulatov considered.