On the axiomatisability of the dual of compact ordered spaces

DOI10.1007/S10485-020-09604-YzbMATH Open1460.18011arXiv1909.01631OpenAlexW2972239815MaRDI QIDQ831307FDOQ831307

Marco Abbadini, Luca Reggio

Publication date: 11 May 2021

Published in: Applied Categorical Structures (Search for Journal in Brave)

Abstract: 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 are not dually equivalent to any SP-class of finitary algebras.

Full work available at URL: https://arxiv.org/abs/1909.01631

zbMATH Keywords

dualityaxiomatisabilitycompact ordered spacesinfinitary varieties

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Categories of algebras (08C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Eilenberg-Moore and Kleisli constructions for monads (18C20) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories of topological spaces and continuous mappings (18F60) Regular categories, Barr-exact categories (18E08)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic foundations of many-valued reasoning
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The Theory of Representation for Boolean Algebras
• Topological representations of distributive lattices and Brouwerian logics
• On quasivarieties and varieties as categories
• Ordered topological structures
• Exact categories and categories of sheaves
• Generating the algebraic theory of C(X)
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• On categories of algebras equivalent to a variety
• Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces
• The dual of compact ordered spaces is a variety
• Limites in Kategorien von Relationalsystemen

Cited In (9)

• On duality and model theory for polyadic spaces
• Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete
• A finite axiomatization of positive MV-algebras
• Barr-exact categories and soft sheaf representations
• Equivalence à la Mundici for commutative lattice-ordered monoids
• Mereocompactness and Duality for Mereotopological Spaces
• Codensity: Isbell duality, pro-objects, compactness and accessibility
• Duality theory for enriched Priestley spaces
• Title not available (Why is that?)

This page was built for publication: On the axiomatisability of the dual of compact ordered spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q831307)