Natural continuity space structures on dual Heyting algebras
Let be a lattice. In this paper, corresponding to a given congruence relation of , a congruence relation on is defined and it is proved that 1. is isomorphic to ; 2. and are in the same equational class; 3. if is representable in , then so is in .
We consider algebras determined by all normal identities of basic algebras. For such algebras, we present a representation based on a q-lattice, i.e., the normalization of a lattice.
We get an interrelation between an algebraic closure system and its conjugated interior system. We introduce the concept of algebraic interior system and we get its representation.
In this note, we point out that Theorem 3.1 as well as Theorem 3.5 in G. D. Çaylı and F. Karaçal (Kybernetika 53 (2017), 394-417) contains a superfluous condition. We have also generalized them by using closure (interior, resp.) operators.
In this note we are going to study dense covers in the category of locales. We shall show that any product of finitely regular locales with some dense covering property has this property as well.