On categories into which each concrete category can be embedded
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.
Page 1 Next