Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces
From MaRDI portal
Publication:4563236
zbMath1419.18003arXiv1706.05292MaRDI QIDQ4563236
Renato Neves, Pedro Nora, Dirk Hofmann
Publication date: 7 June 2018
Full work available at URL: https://arxiv.org/abs/1706.05292
Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Topological spaces and generalizations (closure spaces, etc.) (54A05) Accessible and locally presentable categories (18C35) Enriched categories (over closed or monoidal categories) (18D20)
Related Items
On the axiomatisability of the dual of compact ordered spaces ⋮ Barr-exact categories and soft sheaf representations ⋮ Unnamed Item ⋮ Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces ⋮ Equivalence à la Mundici for commutative lattice-ordered monoids ⋮ Duality theory for enriched Priestley spaces ⋮ Limits in categories of Vietoris coalgebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An introduction to quantaloid-enriched categories
- Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
- Stone coalgebras
- Coalgebraic representations of distributive lattices with operators
- Lawvere completion and separation via closure
- Generating the algebraic theory of C(X)
- Remarks on Priestley duality for distributive lattices
- Universal coalgebra: A theory of systems
- Enriched Stone-type dualities
- On the equational theory of \(C^*\)-algebras
- On a generalization of the Stone--Weierstrass theorem
- Distributive lattices with an operator
- Ordered topological structures
- Duality in analysis from the point of view of triples
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Metric spaces, generalized logic, and closed categories
- Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces
- The representation of Boolean algebras
