Congruence lattices of $2$-valued unary algebras
We study congruence lattices of finite algebras whose basic operations are unary and have exactly two values. We prove that the class of finite lattices representable in this way is closed under taking filters, glued sums and ordinal sums, and direct products with finite distributive lattices, but it is not closed under taking ideals or arbitrary direct products. A classification of lattices with at most seven elements with respect to representability is also presented.
math.RA↗