Algebras with implication and fusion: a different point of view. (Q2377311)

In this paper the authors re-interpret the Priestley-style duality for bounded distributive lattices with fusion or implication developed in [\textit{S. Celani}, Southeast Asian Bull. Math. 28, No. 6, 999-1010 (2004; Zbl 1065.03050)]. By definition, a fusion operation on a bounded distributive lattice is a bimorphism in the category of join-semilattices with zero. For this reason a fusion operation on a lattice \(L\) is uniquely determined by a (zero-join) preserving map from the tensor product \(L\otimes L\) into \(L\) (see \textit{G. Grätzer} et al. [Trans. Am. Math. Soc. 267, 503-515 (1981; Zbl 0478.06003)]). Led by this observation, the authors first introduce a duality for the comma category \((-\otimes-\downarrow i)\), where \(i\) is the inclusion of bounded distributive lattices with homomorphisms into the category of bounded distributive lattices with (zero,join)-preserving maps. This duality is based on the duality for bounded distributive lattices with (zero,join)-preserving maps developed in [\textit{R. Cignoli} et al., Order 8, No. 3, 299-315 (1991; Zbl 0754.06006)], and follows a similar construction to the one presented in [\textit{S. Celani}, Int. J. Math. Math. Sci. 2003, No. 11, 681-693 (2003; Zbl 1026.06014)] for Boolean algebras with generalised join-hemimorphisms. The authors then prove how this duality can be used to obtain a duality for bounded distributive lattices with fusion (or with implication) and its relation with the duality presented by \textit{S. Celani} [loc. cit., Zbl 1065.03050].