Algebraic theories of compact pospaces
Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) ``(P)-minimal and ``(P)-closed spaces (54D25) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05)
If \({\mathcal C}mpt{\mathcal P}o{\mathcal S}p\) denotes the category of compact pospaces (compact topological spaces \((X,\tau)\) together with a partial ordering \(\leq \) of \(X\) which is closed in the product space \((X,\tau)\times (X,\tau)\)) with continuous monotone maps and \({\mathcal P}o{\mathcal S}et\) denotes the category of partially ordered sets and monotone maps, the author proves that the forgetful functor \(G:{\mathcal C}mpt{\mathcal P}o{\mathcal S}p\rightarrow{\mathcal P}o{\mathcal S}et\) is monadic (i.e., has a left-adjoint and \({\mathcal C}mpt{\mathcal P}o{\mathcal S}p\) is isomorphic to the category of algebras \({\mathcal P}o{\mathcal S}et^B\), for a monad \(B\) induced by the adjunction). This is an asymmetric version of Manes' criterion which shows that in some sense the notion of compact pospace is algebraic. Reviewer's remarks: The theorem of Simmons and Wyler \(({\mathcal C}mpt{\mathcal P}o{\mathcal S}p\) is algebraic over \({\mathcal T}op)\) is obtained as a corollary. This makes explicit the connection between the Salbany and the prime Wallman compactifications. Finally, also an explicit construction of the Stone-Čech-Nachbin order compactification for discrete ordered spaces is given (as the prime spectrum of the lattice of upper sets).
- A couple of triples
- Asymmetry and duality in topology
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 3724515 (Why is no real title available?)
- scientific article; zbMATH DE number 3769855 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 17701 (Why is no real title available?)
- scientific article; zbMATH DE number 3891595 (Why is no real title available?)
- scientific article; zbMATH DE number 3213310 (Why is no real title available?)
- scientific article; zbMATH DE number 3296290 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Sobrification and bicompletion of totally bounded quasi-uniform spaces
- Stable Compactification I
- Ultrafilter spaces and compactifications
- The Vietoris monad and weak distributive laws
- A four for the price of one duality principle for distributive spaces
- Priestley spaces, quasi-hyperalgebraic lattices and Smyth powerdomains
- Compact Hausdorff Heyting algebras
- scientific article; zbMATH DE number 4066986 (Why is no real title available?)
- Approaching metric domains
- Generating the algebraic theory of C(X): the case of partially ordered compact spaces
- scientific article; zbMATH DE number 3891595 (Why is no real title available?)
- The dual of compact ordered spaces is a variety
- scientific article; zbMATH DE number 3300389 (Why is no real title available?)
- Poset-enriched categories and free exact completions
- Alexandrov compactification of relational algebras
- On the axiomatisability of the dual of compact ordered spaces
- Representable \((\mathbb{T},\mathbf{V})\)-categories
This page was built for publication: Algebraic theories of compact pospaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1361360)
