Related papers: De Vries powers and proximity Specker algebras
We generalize the Boolean power construction to the setting of compact Hausdorff spaces. This is done by replacing Boolean algebras with de Vries algebras (complete Boolean algebras enriched with proximity) and Stone duality with de Vries…
De Vries duality yields a dual equivalence between the category of compact Hausdorff spaces and a category of complete Boolean algebras with a proximity relation on them, known as de Vries algebras. We extend de Vries duality to completely…
By de Vries duality, the category of compact Hausdorff spaces is dually equivalent to the category of de Vries algebras. In our recent article, we have extended de Vries duality to completely regular spaces by generalizing de Vries algebras…
Stone duality generalizes to an equivalence between the categories $\mathsf{Stone}^{\mathsf{R}}$ of Stone spaces and closed relations and $\mathsf{BA}^\mathsf{S}$ of boolean algebras and subordination relations. Splitting equivalences in…
De Vries Duality generalizes Stone duality between Boolean algebras and Stone spaces to a duality between de Vries algebras (complete Boolean algebras equipped with a subordination relation satisfying some axioms) and compact Hausdorff…
Generalizing Duality Theorem of H. de Vries, we define a category which is dually equivalent to the category of all locally compact Hausdorff spaces and all perfect maps between them.
$\mathsf{S5}$-subordination algebras are a natural generalization of de Vries algebras. Recently it was proved that the category $\mathsf{SubS5^S}$ of $\mathsf{S5}$-subordination algebras and compatible subordination relations between them…
A duality theorem for the category of locally compact Hausdorff spaces and continuous maps which generalizes the well-known Duality Theorem of de Vries is proved.
Propounding a general categorical framework for the extension of dualities, we present a new proof of the de Vries Duality Theorem for the category $\bf KHaus$ of compact Hausdorff spaces and their continuous maps, as an extension of a…
Under a general categorical procedure for the extension of dual equivalences as presented in this paper's predecessor, a new algebraically defined category is established that is dually equivalent to the category $\bf LKHaus$ of locally…
The symmetric strict implication calculus $\mathsf{S^2IC}$ is a modal calculus for compact Hausdorff spaces. This is established through de Vries duality, linking compact Hausdorff spaces with de Vries algebras-complete Boolean algebras…
In 1962, H. de Vries proved a duality theorem for the category {\bf HC} of compact Hausdorff spaces and continuous maps. The composition of the morphisms of the dual category obtained by him differs from the set-theoretic one. Here we…
Gelfand-Naimark-Stone duality establishes a dual equivalence between the category ${\sf KHaus}$ of compact Hausdorff spaces and the category ${\boldsymbol{\mathit{uba}\ell}}$ of uniformly complete bounded archimedean $\ell$-algebras. We…
In this paper we prove some new Stone-type duality theorems for some subcategories of the category $\ZLC$ of locally compact zero-dimensional Hausdorff spaces and continuous maps. These theorems are new even in the compact case. They…
We define an extension of the affine Brauer algebra, the type B/C affine Brauer algebra. This new algebra contains the hyperoctahedral group and it naturally acts on $END_K(X \otimes V^{\otimes k})$ for Orthogonal and Symplectic groups.…
It is proved that the category $\mathbb{EM}$ of extended multisets is dually equivalent to the category $\mathbb{CHMV}$ of compact Hausdorff MV-algebras with continuous homomorphisms, which is in turn equivalent to the category of complete…
We provide a direct and elementary proof of the fact that the category of Nachbin's compact ordered spaces is dually equivalent to an Aleph_1-ary variety of algebras. Further, we show that Aleph_1 is a sharp bound: compact ordered spaces…
In this paper some applications of the methods and results of its first part and of the results of M. Stone, H. de Vries, P. Roeper are given. In particular: some generalizations of the Stone Duality Theorem are obtained; a completion…
A Boolean power S of a commutative ring R has the structure of a commutative R-algebra, and with respect to this structure, each element of S can be written uniquely as an R-linear combination of orthogonal idempotents so that the sum of…
In a recent paper (2018), D. Hofmann, R. Neves and P. Nora proved that the dual of the category of compact partially ordered spaces and monotone continuous maps is a quasi-variety - not finitary, but bounded by $\aleph_1$. An open question…