We provide a direct and elementary proof of the fact that the category of Nachbin's compact ordered spaces is dually equivalent to an N-1-ary variety of algebras. Further, we show that N-1 is a sharp bound: compact ordered spaces are not dually equivalent to any SP-class of finitary algebras.

On the Axiomatisability of the Dual of Compact Ordered Spaces / M. Abbadini, L. Reggio. - In: APPLIED CATEGORICAL STRUCTURES. - ISSN 0927-2852. - 28:6(2020), pp. 921-934. [10.1007/s10485-020-09604-y]

On the Axiomatisability of the Dual of Compact Ordered Spaces

M. Abbadini;
2020

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 N-1-ary variety of algebras. Further, we show that N-1 is a sharp bound: compact ordered spaces are not dually equivalent to any SP-class of finitary algebras.
Axiomatisability; Compact ordered spaces; Duality; Infinitary varieties
Settore MAT/01 - Logica Matematica
2020
Article (author)
File in questo prodotto:
File Dimensione Formato  
AbbadiniReggio2020_-_On_the_Axiomatisability_of_the_dual_of_compact_ordered_spaces.pdf

accesso aperto

Tipologia: Publisher's version/PDF
Dimensione 584.87 kB
Formato Adobe PDF
584.87 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/857970
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 5
social impact