Displaying similar documents to “Characterization of protomodular varieties of universal algebras.”

Hu's Primal Algebra Theorem revisited

Hans-Eberhard Porst (2000)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

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.

How algebraic is algebra?

Adámek, Jiří, Lawvere, F.W., Rosický, Jiří (2001)

Theory and Applications of Categories [electronic only]

Similarity: