Related papers: Stone duality of Lawson compact algebraic L-domain
The work is my Ph D thesis (dissertation for obtaining candidate of sciences degree in Russia) fulfilled under direction of D. A. Raikov and defended under supervision of N. Ya. Vilenkin and S. V. Ptchelintsev. In the dissertatin I gave…
Under Stone/Priestley duality for distributive lattices, Esakia spaces correspond to Heyting algebras which leads to the well-known dual equivalence between the category of Esakia spaces and morphisms on one side and the category of Heyting…
Inspired by classic work of Wallman and more recent work of Jung-Kegelmann-Moshier and Vickers, we show how to encode general subbases of stably locally compact spaces via certain entailment relations. We further build this up to a…
We survey the use of continued fraction expansions in the algebraical and topological study of complex analytic singularities. We also prove new results, firstly concerning a geometric duality with respect to a lattice between plane…
We consider Kleene and Stone algebras defined on the completion DM(RS) of the ordered set of rough sets induced by a reflexive relation. We focus on cases where the completion forms a spatial and completely distributive lattice. We derive…
We develop the idea of local duality symmetry (LDS) in gauge field theories. Using Clifford algebra techniques we construct dually invariant scalar Lagrangian of electrodynamics in the presence of sources and demonstrate that in tensor…
This paper presents a systematic study of coproducts. This is carried out principally, but not exclusively, for finitely generated quasivarieties A that admit a (term) reduct in the variety D of bounded distributive lattices. In this…
This paper establishes a purely syntactic representation for the category of algebraic L-domains with Scott-continuous functions as morphisms. The central tool used here is the notion of logical states, which builds a bridge between…
We provide a characterization of upper locally distributive lattices (ULD-lattices) in terms of edge colorings of their cover graphs. In many instances where a set of combinatorial objects carries the order structure of a lattice this…
We develop a common semantic framework for the interpretation both of $\mathbf{IPC}$, the intuitionistic propositional calculus, and of logics weaker than $\mathbf{IPC}$ (substructural and subintuitionistic logics). This is done by proving…
Let $L$ denote a finite lattice with at least two points and let $A$ denote the incidence algebra of $L$. We prove that $L$ is distributive if and only if $A$ is an Auslander regular ring, which gives a homological characterisation of…
We develop a relational duality for semilattices with adjunctions (SLatas) based on binary meet-relations. First, we introduce the category of MoS-spaces and establish a dual equivalence with modal semilattices. Then, by means of…
For a finite group $G$, $G$-transfer systems are combinatorial objects which encode the homotopy category of $G$-$N_\infty$ operads, whose algebras in $G$-spectra are $E_\infty$ $G$-spectra with a specified collection of multiplicative…
In this article, we continue the study of monadic distributive lattices (or m-lattices) which are a natural generalization of monadic Heyting algebras, introduced by Monteiro and Varsavsky and developed exhaustively by Bezhanishvili. First,…
A resolution of the intersection of a finite number of subgroups of an abelian group by means of their sums is constructed, provided the lattice generated by these subgroups is distributive. This is used for detecting singularities of…
For a family of fractal measures, we find an explicit Fourier duality. The measures in the pair have compact support in $\br^d$, and they both have the same matrix scaling. But the two use different translation vectors, one by a subset $B$…
We propose an algebraic and a geometric classification of euclidean isodual lattices of fixed rank. First, we prove that these lattices are distribued according to a finite number of algebraic types. Second, we show that they are…
Applying a general categorical construction for the extension of dualities, we present a new proof of the Fedorchuk duality between the category of compact Hausdorff spaces with their quasi-open mappings and the category of complete normal…
This paper is concerned with realizing Lattes maps as subdivision maps of finite subdivision rules. The main result is that the Lattes maps in all but finitely many analytic conjugacy classes can be realized as subdivision maps of finite…
We show that the duality between F-theory and the CHL string in seven dimensions defines algebraic correspondences between K3 surfaces polarized by the rank-ten lattices $H \oplus N$ and $H\oplus E_8(-2)$. In the special case when the…