On the axiomatisability of the dual of compact ordered spaces

M Abbadini, L Reggio - Applied Categorical Structures, 2020 - Springer
We provide a direct and elementary proof of the fact that the category of Nachbin's compact
ordered spaces is dually equivalent to an ℵ _1 ℵ 1-ary variety of algebras. Further, we show …

A characterisation of the category of compact Hausdorff spaces

V Marra, L Reggio - arxiv preprint arxiv:1808.09738, 2018 - arxiv.org
We provide a characterisation of the category KH of compact Hausdorff spaces and
continuous maps by means of categorical properties only. To this aim we introduce a notion …

[HTML][HTML] Enriched Stone-type dualities

D Hofmann, P Nora - Advances in Mathematics, 2018 - Elsevier
A common feature of many duality results is that the involved equivalence functors are
liftings of hom-functors into the two-element space resp. lattice. Due to this fact, we can only …

Generating the algebraic theory of : the case of partially ordered compact spaces

D Hofmann, R Neves, P Nora - arxiv preprint arxiv:1706.05292, 2017 - arxiv.org
It is known since the late 1960's that the dual of the category of compact Hausdorff spaces
and continuous maps is a variety--not finitary, but bounded by $\aleph_1 $. In this note we …

On the axiomatisability of the dual of compact ordered spaces

M Abbadini - 2021 - air.unimi.it
We prove that the category of Nachbin's compact ordered spaces and order-preserving
continuous maps between them is dually equivalent to a variety of algebras, with operations …

The dual of compact ordered spaces is a variety

M Abbadini - arxiv preprint arxiv:1902.07162, 2019 - arxiv.org
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 …

AF-algebras with lattice-ordered K0: Logic and computation

D Mundici - Annals of Pure and Applied Logic, 2023 - Elsevier
Following Bratteli's original definition, an AF-algebra A is the norm closure of the union of an
ascending sequence of finite-dimensional C⁎-algebras, all with the same unit. Elliott proved …

Hilbert spaces and -algebras are not finitely concrete

M Lieberman, J Rosický, S Vasey - arxiv preprint arxiv:1908.10200, 2019 - arxiv.org
We show that no faithful functor from the category of Hilbert spaces with linear isometries
into the category of sets preserves directed colimits. Thus Hilbert spaces cannot form an …

Infinitary logic and basically disconnected compact Hausdorff spaces

A Di Nola, S Lapenta, I LeuŞtean - Journal of Logic and …, 2018 - academic.oup.com
We extend Łukasiewicz logic obtaining the infinitary logic Infinitary Riesz Logic (Ł) whose
models are algebras C (X,[0, 1]), where X is a basically disconnected compact Hausdorff …

[PDF][PDF] Locally compact Stone duality

T Bice, C Starling - arxiv preprint arxiv:1609.09708, 2016 - arxiv.org
We prove a number of dualities between posets and (pseudo) bases of open sets in locally
compact Hausdorff spaces. In particular, we show that (1) Relatively compact basic …