Universal expansion of semigroup varieties by regular involution.
Universal coextensions within a variety.
Inner extrapolation of semigroup translations.
Cartesian closed concrete categories
On synchronized relatively full embeddings and -universality
Algebras determined by their endomorphism monoids
Finitely generated universal varieties of distributive double -algebras
On Priestley duals of products
Equimorphy in varieties of double Heyting algebras
We show that any finitely generated variety V of double Heyting algebras is finitely determined, meaning that for some finite cardinal n(V), any class ⊆ V consisting of algebras with pairwise isomorphic endomorphism monoids has fewer than n(V) pairwise non-isomorphic members. This result complements the earlier established fact of categorical universality of the variety of all double Heyting algebras, and contrasts with categorical results concerning finitely generated varieties of distributive...
Almost ff-universal and q-universal varieties of modular 0-lattices
A variety 𝕍 of algebras of a finite type is almost ff-universal if there is a finiteness-preserving faithful functor F: 𝔾 → 𝕍 from the category 𝔾 of all graphs and their compatible maps such that Fγ is nonconstant for every γ and every nonconstant homomorphism h: FG → FG' has the form h = Fγ for some γ: G → G'. A variety 𝕍 is Q-universal if its lattice of subquasivarieties has the lattice of subquasivarieties of any quasivariety of algebras of a finite type as the quotient of its sublattice....
Limits in generalized algebraic categories - contravariant case
On the existence of special homogeneous monoids.
On syntacticity of finite regular semigroups.
Structural properties of endofunctors
On subdirectly irreducible automata
How much semigroup structure is needed to encode graphs ?
A game of composing binary relations
Finitely generated almost universal varieties of 0-lattices.
Page 1