Generating the algebraic theory of C(X): the case of partially ordered compact spaces

zbMATH Open1419.18003arXiv1706.05292MaRDI QIDQ4563236FDOQ4563236

Authors: Renato Neves, Pedro Nora, Dirk Hofmann 

Publication date: 7 June 2018

Abstract: 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 $alep{h}_1$. In this note we show that the dual of the category of partially ordered compact spaces and monotone continuous maps is a $alep{h}_1$-ary quasivariety, and describe partially its algebraic theory. Based on this description, we extend these results to categories of Vietoris coalgebras and homomorphisms. We also characterise the $alep{h}_1$-copresentable partially ordered compact spaces.

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

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• On topologization of countably generated algebras
• scientific article
• Algebraic theories of compact pospaces
• The ordered \(\varepsilon_c\)-product and the full compactologial spaces
• A generic method to construct \(P\)-spaces through ordered fields
• From Γ-spaces to algebraic theories
• scientific article; zbMATH DE number 1355170
• Order-compactifications of totally ordered spaces: Revisited
• On ordered \(C^\ast\)-algebras
• On a topology and limits for inductive systems of \(C^\ast \)-algebras over partially ordered sets

zbMATH Keywords

dualitycoalgebraquasivarietyVietoris functorordered compact spacemetrisablecopresentable object

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Accessible and locally presentable categories (18C35) Enriched categories (over closed or monoidal categories) (18D20)

Cites Work

• Universal coalgebra: A theory of systems
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Abstract and concrete categories: the joy of cats
• 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?)
• Metric spaces, generalized logic, and closed categories
• Ordered topological structures
• An introduction to quantaloid-enriched categories
• Stone coalgebras
• Stably compact spaces and the probabilistic powerspace construction
• Lawvere completion and separation via closure
• The representation of Boolean algebras
• Remarks on Priestley duality for distributive lattices
• Generating the algebraic theory of C(X)
• On the equational theory of \(C^*\)-algebras
• Duality in analysis from the point of view of triples
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• Title not available (Why is that?)
• Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces
• Coalgebraic representations of distributive lattices with operators
• On a generalization of the Stone--Weierstrass theorem
• Enriched Stone-type dualities
• Distributive lattices with an operator

Cited In (16)

• On the axiomatisability of the dual of compact ordered spaces
• Title not available (Why is that?)
• Barr-exact categories and soft sheaf representations
• A generic method to construct \(P\)-spaces through ordered fields
• Title not available (Why is that?)
• Equivalence à la Mundici for commutative lattice-ordered monoids
• Title not available (Why is that?)
• Alexandrov compactification of relational algebras
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces
• Hausdorff coalgebras
• Duality theory for enriched Priestley spaces
• Limits in categories of Vietoris coalgebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• The dual of compact ordered spaces is a variety

This page was built for publication: Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces

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