Probability, valuations, hyperspace: Three monads on top and the support as a morphism
DOI10.1017/S0960129521000414zbMath1495.18009arXiv1910.03752MaRDI QIDQ5084481
Sharwin Rezagholi, Tobias Fritz, Paolo Perrone
Publication date: 24 June 2022
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1910.03752
valuationsprobability measuresBorel measureshyperspacesmorphism of monadsmonads on topological spaces
Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categories of topological spaces and continuous mappings (18F60)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Probabilities, distribution monads, and convex categories
- The probabilistic powerdomain for stably compact spaces
- Topological cones: functional analysis in a \(T_{0}\)-setting
- On the categorical meaning of Hausdorff and Gromov distances. I.
- Essentially complete \(T_0\)-spaces
- Cartesianness: topological spaces, uniform spaces, and affine schemes
- Doctrines on 2-categories
- Topology of spaces of probability measures. I: The functors \(P_{\tau}\) and \(\hat P\)
- Functional distribution monads in functional-analytic contexts
- Extension of valuations on locally compact sober spaces
- Monads for which structures are adjoint to units
- Algebras of the extended probabilistic powerdomain monad
- Bimonoidal structure of probability monads
- The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
- Adjoint functors and triples
- Topology and measure
- A result on Borel product measures
- Strong functors and monoidal monads
- Commutative monads as a theory of distributions
- Integrals and valuations
- General function spaces, products and continuous lattices
- Some continuity and measurability results on spaces of measures.
- The Spectral Theory of Distributive Continuous Lattices
- A Probability Monad as the Colimit of Spaces of Finite Samples
- Probability measures in topology
- Continuous Lattices and Domains
- Non-Hausdorff Topology and Domain Theory
- Topologies on Spaces of Subsets
- Theory and Applications of Models of Computation
This page was built for publication: Probability, valuations, hyperspace: Three monads on top and the support as a morphism
