Completing simple valuations in K-categories

DOI10.1016/J.TOPOL.2022.108192MaRDI QIDQ2165553zbMATH OpenOpenAlexWikidataFDO

Authors Xiaodong Jia, Michael Mislove

Publication date 20 August 2022

Published in Topology and its Applications (Search for Journal in Brave)

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

zbMATH Keywords

\(\mathcal{K}\)-completionEilenberg-Moore algebrasmonadssimple valuationstopological conesvaluation powerdomain

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Topological characterizations of particular spaces (54F65)

Recommendations

• Algebras of the extended probabilistic powerdomain monad
• Lattice-valued Cauchy spaces and completion
• D-completions and the \(d\)-topology
• Probability, valuations, hyperspace: three monads on Top and the support as a morphism
• An Extension Result for Continuous Valuations

Cites work

• A short proof of the Schröder-Simpson theorem
• Algebras of the extended probabilistic powerdomain monad
• Continuous Lattices and Domains
• D-completions and the \(d\)-topology
• Dcpo-completion of posets
• Domains and stochastic processes
• Domains, integration and ‘positive analysis’
• Existence of well-filterifications of \(T_0\) topological spaces
• scientific article; zbMATH DE number 4179422 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 1107499 (Why is no real title available?)
• scientific article; zbMATH DE number 1469900 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• Locally convex cones and the Schröder-Simpson theorem
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• The probabilistic powerdomain for stably compact spaces
• Theory and Applications of Models of Computation
• Topological cones: functional analysis in a \(T_{0}\)-setting

Cited in

(3)

• Semantics for a lambda calculus for string diagrams
• A domain-theoretic approach to statistical programming languages
• Categories of quantum cpos

This page was built for publication: Completing simple valuations in K-categories

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