Topological duality for distributive Ockham algebras (Q793767): Difference between revisions

A bounded distributive lattice D with a dual lattice homomorphism is called an Ockham algebra. An Ockham space is the Priestley dual of D augmented by an order reversing continuous map. As an application of a general theorem of \textit{P. Freyd} [Colloq. Math. 14, 89-106 (1966; Zbl 0144.010)], the author represents such algebras and spaces via natural hom-functors. The powerset of the set N of natural numbers plays as an algebra as well as a space an important role throughout the paper.