On 2-generated minimal Taylor algebras of size 4
Zarathustra Brady, Petar {\DJ}api\'c, Vuka\v{s}in {\DJ}inovi\'c, Petar Markovi\'c, Aleksandar Proki\'c, Veljko Tolji\'c, Vlado Uljarevi\'c
TL;DR
This paper classifies all 2-generated minimal Taylor algebras of size 4, proving none are simple and providing a complete isomorphism and term-equivalence classification.
Contribution
It establishes that all such algebras are non-simple and offers a complete classification up to isomorphism and term-equivalence.
Findings
All 2-generated minimal Taylor algebras of size 4 are non-simple.
The paper provides a complete classification of these algebras.
It proves that no such algebra is simple.
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.