Abstract:It is shown how Lawvere's one-to-one translation between Birkhoff's description of varieties and the categorical one (see [6]) turns Hu's theorem on varieties generated by a primal algebra (see [4], [5]) into a simple reformulation of the classical representation theorem of finite Boolean algebras as powerset algebras.
Keywords: Lawvere theory, equivalence between varieties, Hu's theorem, primal algebra, Post algebras
AMS Subject Classification: Primary 06D25, 06B20; Secondary 18C05