On the axiomatisability of the dual of compact ordered spaces
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 …
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 …
continuous maps by means of categorical properties only. To this aim we introduce a notion …
[HTML][HTML] Enriched Stone-type dualities
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 …
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
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 …
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 …
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 …
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 …
ascending sequence of finite-dimensional C⁎-algebras, all with the same unit. Elliott proved …
Hilbert spaces and -algebras are not finitely concrete
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 …
into the category of sets preserves directed colimits. Thus Hilbert spaces cannot form an …
Infinitary logic and basically disconnected compact Hausdorff spaces
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 …
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 …
compact Hausdorff spaces. In particular, we show that (1) Relatively compact basic …