3 papers
math.LO2026
The colored edge theory of A. Bulatov and binary absorption in minimal Taylor algebras
Zarathustra Brady, Petar ÄapiÄ, Petar MarkoviÄ +2
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 pr…
math.LO2026
On 2-generated minimal Taylor algebras of size 4
Zarathustra Brady, Petar ÄapiÄ, VukaÅ¡in ÄinoviÄ +4
We prove that any 2-generated minimal Taylor algebra on a domain of size 4 is not simple. In addition, we find all such algebras up to isomorphism and term-equivalence.
math.RA2025
Notes on CSPs and Polymorphisms
Zarathustra Brady
These are notes from a multi-year learning seminar on the algebraic approach to Constraint Satisfaction Problems (CSPs). The main topics covered are the theory of algebraic structu…