Concerning endomorphisms of finite algebra
Concerning minimal primitive classes of algebras containing any category of algebras as a full subcategory
can be strongly embedded into category of semigroups
Category of commutative groupoids is binding
Free Products of Hopf Groups.
Equimorphy in varieties of distributive double -algebras
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...
Finitely generated almost universal varieties of -lattices
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.
Primitive classes of algebras with two unary idempotent operations, containing all algebraic categories as full subcategories
Combinatorial trees in Priestley spaces
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