Abstract: We study varieties generated by semi-primal lattice-expansions by means of category theory. We provide a new proof of the Keimel-Werner topological duality for such varieties and, using similar methods, establish its discrete version. We describe multiple adjunctions between the variety of Boolean algebras and the variety generated by a semi-primal lattice-expansion, both on the topological side and explicitly algebraic. In particular, we show that the Boolean skeleton functor has two adjoints, both defined by taking certain Boolean powers, and we identify properties of these adjunctions which fully characterize semi-primality of an algebra. Lastly, we give a new characterization of canonical extensions of algebras in semi-primal varieties in terms of their Boolean skeletons.
Recommendations
- Some of our primal algebras are missing: the canonical primal theory
- Natural dualities for varieties generated by a set of subalgebras of a semi-primal algebra
- scientific article; zbMATH DE number 3963904
- Topological duality and lattice expansions. I: A topological construction of canonical extensions.
- On subquasivariety lattices of semi-primal varieties
Cites work
- A New Proof of the Completeness of the Lukasiewicz Axioms
- A note on homomorphisms between products of algebras
- Abstract and concrete categories: the joy of cats
- Algebraic Analysis of Many Valued Logics
- Algebraic foundations of many-valued reasoning
- Automorphisms and functional completeness in universal algebras. I: General automorphisms, structure theory and characterizations
- Bohr compactifications of algebras and structures
- Boolean powers
- Bounded distributive lattice expansions
- Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras
- Categories of fuzzy sets
- Concept representation in natural and artificial languages: Axioms, extensions and applications for fuzzy sets
- Congruence relations and functional completeness in universal algebras. Structure theory of hemi-primals. I
- Demi-semi-primal algebras and Mal'cev-type conditions
- Discriminator varieties and symbolic computation
- From the subalgebras of the square to the discriminator
- Fuzzy Set Theory and Topos Theory
- Generalized ``Boolean theory of universal algebras. I. Subdirect sums and normal representation theorem
- Generalized ``Boolean theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras
- scientific article; zbMATH DE number 3645165 (Why is no real title available?)
- scientific article; zbMATH DE number 3985476 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 3463628 (Why is no real title available?)
- scientific article; zbMATH DE number 3536298 (Why is no real title available?)
- scientific article; zbMATH DE number 3582215 (Why is no real title available?)
- scientific article; zbMATH DE number 1226180 (Why is no real title available?)
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 1557989 (Why is no real title available?)
- scientific article; zbMATH DE number 3443699 (Why is no real title available?)
- scientific article; zbMATH DE number 2098003 (Why is no real title available?)
- scientific article; zbMATH DE number 937372 (Why is no real title available?)
- scientific article; zbMATH DE number 3274763 (Why is no real title available?)
- scientific article; zbMATH DE number 2208113 (Why is no real title available?)
- L-fuzzy sets
- Morita equivalence of almost-primal clones
- Natural dualities for varieties of MV-algebras. I
- Natural duality, modality, and coalgebra
- On finitary functors
- On the topological duality for primal algebra theory
- Polynomial interpolation and the Chinese remainder theorem for algebraic systems
- Profinite groups.
- Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Residuated lattices. An algebraic glimpse at substructural logics
- Restricted Priestley dualities and discriminator varieties
- Semi-categorial algebras. II
- Semi-categorical algebras. I: Semi-primal algebras
- Semi-primal algebras; characterization and normal-decomposition
- Semisimplicity, EDPC and discriminator varieties of residuated lattices
- Stone duality for primal algebra theory
- The category theoretic understanding of universal algebra: Lawvere theories and monads
- The ternary discriminator function in universal algebra
- Varieties of De Morgan monoids: minimality and irreducible algebras
Cited in
(2)
This page was built for publication: New perspectives on semi-primal varieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6185300)
