Journal article icon

Journal article

Probability, valuations, hyperspace: three monads on top and the support as a morphism

Abstract:

We consider three monads on Top, the category of topological spaces, which formalize topological aspects of probability and possibility in categorical terms. The first one is the Hoare hyperspace monad H, which assigns to every space its space of closed subsets equipped with the lower Vietoris topology. The second one is the monad V of continuous valuations, also known as the extended probabilistic powerdomain. We construct both monads in a unified way in terms of double dualiza...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1017/S0960129521000414

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
ORCID:
0000-0002-9123-9089
Publisher:
Cambridge University Press
Journal:
Mathematical Structures in Computer Science More from this journal
Volume:
31
Issue:
8
Pages:
850–897
Publication date:
2022-03-08
Acceptance date:
2021-11-03
DOI:
EISSN:
1469-8072
ISSN:
0960-1295
Language:
English
Keywords:
Pubs id:
1249354
Local pid:
pubs:1249354
Deposit date:
2023-01-22

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP