Remarks on Priestley duality for distributive lattices

The notion of a Priestley relation between Priestley spaces is introduced, and it is shown that there is a duality between the category of bounded distributive lattices and 0-preserving join-homomorphisms and the category of Priestley spaces and Priestley relations. When restricted to the category of bounded distributive lattices and 0-1-preserving homomorphisms, this duality yields essentially Priestley duality, and when restricted to the subcategory of Boolean algebras and 0-preserving join-homomorphisms, it coincides with the Halmos-Wright duality. It is also established a duality between 0-1-sublattices of a bounded distributive lattice and certain preorder relations on its Priestley space, which are called lattice preorders. This duality is a natural generalization of the Boolean case, and is strongly related to one considered by M. E. Adams. Connections between both kinds of dualities are studied, obtaining dualities for closure operators and quantifiers. Some results on the existence of homomorphisms lying between meet and join homomorphisms are given in the Appendix.     

Funayama’s theorem revisited

Funayama’s theorem states that there is an embedding e of a lattice L into a complete Boolean algebra B such that e preserves all existing joins and meets in L iff L satisfies the join infinite distributive law (JID) and the meet infinite distributive law (MID). More generally, there is a lattice embedding e: L → B preserving all existing joins in L iff L satisfies (JID), and there is a lattice embedding e: L → B preserving all existing meets in L iff L satisfies (MID). Funayama’s original proof is quite involved. There are two more accessible proofs in case L is complete. One was given by Grätzer by means of free Boolean extensions and MacNeille completions, and the other by Johnstone by means of nuclei and Booleanization. We show that Grätzer’s proof has an obvious generalization to the non-complete case, and that in the complete case the complete Boolean algebras produced by Grätzer and Johnstone are isomorphic. We prove that in the non-complete case, the class of lattices satisfying (JID) properly contains the class of Heyting algebras, and we characterize lattices satisfying (JID) and (MID) by means of their Priestley duals. Utilizing duality theory, we give alternative proofs of Funayama’s theorem and of the isomorphism between the complete Boolean algebras produced by Grätzer and Johnstone. We also show that unlike Grätzer’s proof, there is no obvious way to generalize Johnstone’s proof to the non-complete case.     

Topological duality and lattice expansions,I: A topological construction of canonical extensions

The two main objectives of this paper are (a) to prove purely topological duality theorems for semilattices and bounded lattices, and (b) to show that the topological duality from (a) provides a construction of canonical extensions of bounded lattices. In previously known dualities for semilattices and bounded lattices, the dual spaces are compact 0-dimensional spaces with additional algebraic structure. For example, semilattices are dual to 0-dimensional compact semilattices. Here we establish dual categories in which the spaces are characterized purely in topological terms, with no additional algebraic structure. Thus the results can be seen as generalizing Stone’s duality for distributive lattices rather than Priestley’s. The paper is the first of two parts. The main objective of the sequel is to establish a characterization of lattice expansions, i.e., lattices with additional operations, in the topological setting built in this paper.     

On the nonexistence of free complete distributive lattices

We prove that there is no free object over a countable set in the category of complete distributive lattices with homomorphisms preserving binary meets and arbitrary joins.     

Representation and duality for Hilbert algebras

In this paper we introduce a special kind of ordered topological spaces, called Hilbert spaces. We prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations. We restrict this result to give a duality for the category of Hilbert algebras with homomorphisms. We apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are isomorphic. We explore how this duality is related to the duality given in [6] for finite Hilbert algebras, and with the topological duality developed in [7] for Tarski algebras.      

Distributive Envelopes and Topological Duality for Lattices via Canonical Extensions

We establish a topological duality for bounded lattices. The two main features of our duality are that it generalizes Stone duality for bounded distributive lattices, and that the morphisms on either side are not the standard ones. A positive consequence of the choice of morphisms is that those on the topological side are functional. Towards obtaining the topological duality, we develop a universal construction which associates to an arbitrary lattice two distributive lattice envelopes with a Galois connection between them. This is a modification of a construction of the injective hull of a semilattice by Bruns and Lakser, adjusting their concept of ‘admissibility’ to the finitary case. Finally, we show that the dual spaces of the distributive envelopes of a lattice coincide with completions of quasi-uniform spaces naturally associated with the lattice, thus giving a precise spatial meaning to the distributive envelopes.     

Notes on Exact Meets and Joins

An exact meet in a lattice is a special type of infimum characterized by, inter alia, distributing over finite joins. In frames, the requirement that a meet is preserved by all frame homomorphisms makes for a slightly stronger property. In this paper these concepts are studied systematically, starting with general lattices and proceeding through general frames to spatial ones, and finally to an important phenomenon in Scott topologies.     

Multiplicative representation of bilinear operators

We establish that each lattice bimorphism from the Cartesian product of two vector lattices into a universally complete vector lattice is representable as the product of two lattice homomorphisms defined on the factors. This fact makes it possible to reduce the problem to the linear case and obtain some results on representation of an order bounded disjointness preserving bilinear operator as a strongly disjoint sum of weighted shift or multiplicative operators.     

Spectral-like duality for distributive Hilbert algebras with infimum

Distributive Hilbert algebras with infimum, or DH^-algebras for short, are algebras with implication and conjunction, in which the implication and the conjunction do not necessarily satisfy the residuation law. These algebras do not fall under the scope of the usual duality theory for lattice expansions, precisely because they lack residuation. We propose a new approach, that consists of regarding the conjunction as the additional operation on the underlying implicative structure. In this paper, we introduce a class of spaces, based on compactly-based sober topological spaces. We prove that the category of these spaces and certain relations is dually equivalent to the category of DH^-algebras and \({\wedge}\)-semi-homomorphisms. We show that the restriction of this duality to a wide subcategory of spaces gives us a duality for the category of DH^-algebras and algebraic homomorphisms. This last duality generalizes the one given by the author in 2003 for implicative semilattices. Moreover, we use the duality to give a dual characterization of the main classes of filters for DH^-algebras, namely, (irreducible) meet filters, (irreducible) implicative filters and absorbent filters.     

A Note on Hilbert Algebras and Their Related Generalized Esakia Spaces

Generalized Esakia spaces are the topological duals of bounded implicative semilattices in the duality studied by G. Bezhanishvili and R. Jansana. We study the relation between a Hilbert algebra and the generalized Esakia space dual to its free implicative semilattice extension. To establish the relation we introduce a category whose objects are a generalized Esakia space together with a family of clopen up-sets that constitutes a subalgebra of the implication fragment of the Heyting algebra of the up-sets of the generalized Esakia space.     

关于交半格同态构成的函数空间与FS-交连续Domain

定义了一类序结构—FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.     

Existenzbedingungen für Dualitäten projektiver Ebenen

In a projective plane a permutation of the set of all points and lines is constructed, using only the operations join and meet. Under certain conditions (identities in a coordinatizing ternary field; special cases of Desargues- and Pappos-theorem) this permutation is a duality. For a topological projective plane this duality proves, that point space and line space of the plane are homeomorphic.     

Second order duality in minmax fractional programming with generalized univexity

In this paper, the concept of second order generalized α-type I univexity is introduced. Based on the new definitions, we derive weak, strong and strict converse duality results for two second order duals of a minmax fractional programming problem.     

Stone style duality for distributive nearlattices

The aim of this paper is to study the variety of distributive nearlattices with greatest element. We will define the class of N-spaces as sober-like topological spaces with a basis of open, compact, and dually compact subsets satisfying an additional condition. We will show that the category of distributive nearlattices with greatest element whose morphisms are semi-homomorphisms is dually equivalent to the category of N-spaces with certain relations, called N-relations. In particular, we give a duality for the category of distributive nearlattices with homomorphisms. Finally, we apply these results to characterize topologically the one-to-one and onto homomorphisms, the subalgebras, and the lattice of the congruences of a distributive nearlattice.     

Sums and extensions of vector lattice homomorphisms

This paper gives a summary account, with minimal or no proofs, first of some results which characterize order bounded linear operators which are sums of lattice homomorphisms, or more generally of orthomorphisms; and secondly of theorems concerning extensions of vector lattice homomorphisms (theorems of Hahn-Banach type if you will). In all cases we assume that domain and range are vector lattices and that the range is Dedekind complete. The results vary from historical (pre-1940) to recent (1990). The most recent work, on sums of lattice homomorphisms, is covered in §1 and the more classical work on extension theorems is dealt with in §2.     

A Fresh Perspective on Canonical Extensions for Bounded Lattices

This paper presents a novel treatment of the canonical extension of a bounded lattice, in the spirit of the theory of natural dualities. At the level of objects, this can be achieved by exploiting the topological representation due to M. Plo??ica, and the canonical extension can be obtained in the same manner as can be done in the distributive case by exploiting Priestley duality. To encompass both objects and morphisms the Plo??ica representation is replaced by a duality due to Allwein and Hartonas, recast in the style of Plo??ica’s paper. This leads to a construction of canonical extension valid for all bounded lattices, which is shown to be functorial, with the property that the canonical extension functor decomposes as the composite of two functors, each of which acts on morphisms by composition, in the manner of hom-functors.     

Remarks on annihilators preserving congruence relations

In this note we shall give some results on annihilators preserving congruence relations, or AP-congruences, in bounded distributive lattices. We shall give some new characterizations, and a topological interpretation of the notion of annihilator preserving congruences introduced in [JANOWITZ, M. F.: Annihilator preserving congruence relations of lattices, Algebra Universalis 5 (1975), 391–394]. As an application of these results, we shall prove that the quotient of a quasicomplemented lattice by means of a AP-congruence is a quasicomplemented lattice. Similarly, we will prove that the quotient of a normal latttice by means of a AP-congruence is also a normal lattice.