Concerning endomorphisms of finite algebra
Any finitely generated regular variety of distributive double -algebras is finitely determined, meaning that for some finite cardinal , any subclass of algebras with isomorphic endomorphism monoids has fewer than pairwise non-isomorphic members. This result follows from our structural characterization of those finitely generated almost regular varieties which are finitely determined. We conjecture that any finitely generated, finitely determined variety of distributive double -algebras...
A concrete category is (algebraically) if any category of algebras has a full embedding into , and is if there is a class of -objects such that all non-constant homomorphisms between them form a universal category. The main result of this paper fully characterizes the finitely generated varieties of -lattices which are almost universal.
We show that prohibiting a combinatorial tree in the Priestley duals determines an axiomatizable class of distributive lattices. On the other hand, prohibiting -crowns with does not. Given what is known about the diamond, this is another strong indication that this fact characterizes combinatorial trees. We also discuss varieties of 2-Heyting algebras in this context.
Page 1