Some of our primal algebras are missing: the canonical primal theory (Q995377)

A variety \(\mathbf V\) is called primal if there exists a primal algebra \(A\in \mathbf V\) such that every algebra from \(\mathbf V\) is a subdirect power of \(A\). It is known that a primal variety is as a category dual equivalent to the category of Boolean spaces and their continuous mappings. A theory of a variety of mono-sorted algebras is a skeleton of the dual of the full subcategory of \(\mathbf V\) formed by all finitely generated free algebras. For a generalization it is defined that the canonical theory of a variety (several-sorted algebras) is a skeleton of the dual of the full subcategory of \(\mathbf V\) formed by all finitely generated free algebras and their retracts. Thus idempotents split in the canonical theory. The canonical theory of Boolean algebras is the category of positive integers and all unary functions between them. This category is the canonical theory associated with every primal variety. Further the author investigates several primal varieties of several-sorted algebras and some consequences are derived and discussed. Finally, all primal theories are gathered into one grand lattice.