Author:
Cornish William H.,Fowler Peter R.
Abstract
The dual of the category of De Morgan algebras is described in terms of compact totally ordered-disconnected ordered topological spaces which possess an involutorial homeomorphism that is also a dual order-isomorphism. This description is used to study the coproduct of an arbitrary collection of De Morgan algebras and also to represent the coproduct of two De Morgan algebras in terms of the continuous order-preserving functions from the Priestley space of one algebra to the other algebra, endowed with the discrete topology. In addition, it is proved that the coproduct of a family of Kleene algebras in the category of De Morgan algebras is the same as the coproduct in the subcategory of Kleene algebras if and only if at most one of the algebras is not boolean.
Publisher
Cambridge University Press (CUP)
Reference13 articles.
1. The structure of pseudocomplemented distributive lattices. II: Congruence extension and amalgamation;Grätzer;Trans. Amer. Math. Soc.,1971
2. [7] Cornish William H. , “Ordered topological spaces and the coproduct of bounded distributive lattices”, Colloq. Math. (to appear).
3. Free products of bounded distributive lattices
4. Compactness of the clopen topology and applications to ideal theory
5. Injective De Morgan and Kleene algebras
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献