{"id":"https://openalex.org/W4226021988","doi":"https://doi.org/10.1017/s0960129521000414","title":"Probability, valuations, hyperspace: Three monads on top and the support as a morphism","display_name":"Probability, valuations, hyperspace: Three monads on top and the support as a morphism","publication_year":2021,"publication_date":"2021-09-01","ids":{"openalex":"https://openalex.org/W4226021988","doi":"https://doi.org/10.1017/s0960129521000414"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129521000414","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129521000414","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1910.03752","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017876886","display_name":"T. A. Fritz","orcid":"https://orcid.org/0000-0001-7081-2635"},"institutions":[{"id":"https://openalex.org/I190249584","display_name":"Universit\u00e4t Innsbruck","ror":"https://ror.org/054pv6659","country_code":"AT","type":"education","lineage":["https://openalex.org/I190249584"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Tobias Fritz","raw_affiliation_strings":["Department of Mathematics, University of Innsbruck, Innsbruck, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Innsbruck, Innsbruck, Austria","institution_ids":["https://openalex.org/I190249584"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005788902","display_name":"Paolo Perrone","orcid":"https://orcid.org/0000-0002-9123-9089"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Paolo Perrone","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford OX1 2JD, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford OX1 2JD, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015166263","display_name":"Sharwin Rezagholi","orcid":"https://orcid.org/0000-0003-1090-0240"},"institutions":[{"id":"https://openalex.org/I118501908","display_name":"National Research University Higher School of Economics","ror":"https://ror.org/055f7t516","country_code":"RU","type":"education","lineage":["https://openalex.org/I118501908"]},{"id":"https://openalex.org/I121760703","display_name":"University of Applied Sciences Technikum Wien","ror":"https://ror.org/04jsx0x49","country_code":"AT","type":"education","lineage":["https://openalex.org/I121760703"]}],"countries":["AT","RU"],"is_corresponding":true,"raw_author_name":"Sharwin Rezagholi","raw_affiliation_strings":["Department of Informatics, Higher School of Economics St. Petersburg, Russia","Faculty of Applied Mathematics and Computer Science, University of Applied Sciences Technikum Wien, Austria"],"raw_orcid":"https://orcid.org/0000-0003-1090-0240","affiliations":[{"raw_affiliation_string":"Department of Informatics, Higher School of Economics St. Petersburg, Russia","institution_ids":["https://openalex.org/I118501908"]},{"raw_affiliation_string":"Faculty of Applied Mathematics and Computer Science, University of Applied Sciences Technikum Wien, Austria","institution_ids":["https://openalex.org/I121760703"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5015166263"],"corresponding_institution_ids":["https://openalex.org/I118501908","https://openalex.org/I121760703"],"apc_list":null,"apc_paid":null,"fwci":1.2668,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.80922336,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"31","issue":"8","first_page":"850","last_page":"897"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.8925614356994629},{"id":"https://openalex.org/keywords/monad","display_name":"Monad (category theory)","score":0.8822610378265381},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6987069845199585},{"id":"https://openalex.org/keywords/category-of-topological-spaces","display_name":"Category of topological spaces","score":0.5542694926261902},{"id":"https://openalex.org/keywords/metrization-theorem","display_name":"Metrization theorem","score":0.5332386493682861},{"id":"https://openalex.org/keywords/probability-measure","display_name":"Probability measure","score":0.5239217877388},{"id":"https://openalex.org/keywords/topological-space","display_name":"Topological space","score":0.5143550634384155},{"id":"https://openalex.org/keywords/hyperspace","display_name":"Hyperspace","score":0.5048831105232239},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.4885157346725464},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.4821698069572449},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4814526438713074},{"id":"https://openalex.org/keywords/category-theory","display_name":"Category theory","score":0.4420008659362793},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3978100121021271},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.39567747712135315}],"concepts":[{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.8925614356994629},{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.8822610378265381},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6987069845199585},{"id":"https://openalex.org/C83177873","wikidata":"https://www.wikidata.org/wiki/Q2000555","display_name":"Category of topological spaces","level":5,"score":0.5542694926261902},{"id":"https://openalex.org/C105433845","wikidata":"https://www.wikidata.org/wiki/Q1194053","display_name":"Metrization theorem","level":3,"score":0.5332386493682861},{"id":"https://openalex.org/C21031990","wikidata":"https://www.wikidata.org/wiki/Q355020","display_name":"Probability measure","level":2,"score":0.5239217877388},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.5143550634384155},{"id":"https://openalex.org/C39368324","wikidata":"https://www.wikidata.org/wiki/Q5024959","display_name":"Hyperspace","level":2,"score":0.5048831105232239},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.4885157346725464},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.4821698069572449},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4814526438713074},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.4420008659362793},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3978100121021271},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.39567747712135315},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C178099376","wikidata":"https://www.wikidata.org/wiki/Q7825044","display_name":"Topological tensor product","level":4,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C55112680","wikidata":"https://www.wikidata.org/wiki/Q190549","display_name":"Functional analysis","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C70710897","wikidata":"https://www.wikidata.org/wiki/Q680081","display_name":"Separable space","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s0960129521000414","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129521000414","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1910.03752","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1910.03752","pdf_url":"https://arxiv.org/pdf/1910.03752","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:b2657c1d-4160-4731-98fd-8f18a7f69663","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:b2657c1d-4160-4731-98fd-8f18a7f69663","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symplectic Elements","raw_type":"Journal article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1910.03752","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1910.03752","pdf_url":"https://arxiv.org/pdf/1910.03752","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W119508290","https://openalex.org/W633029427","https://openalex.org/W1527324030","https://openalex.org/W1565991732","https://openalex.org/W1967613287","https://openalex.org/W1982942255","https://openalex.org/W1992480909","https://openalex.org/W1995118028","https://openalex.org/W1999307733","https://openalex.org/W2000181146","https://openalex.org/W2017778827","https://openalex.org/W2026278715","https://openalex.org/W2044285874","https://openalex.org/W2056100909","https://openalex.org/W2056223372","https://openalex.org/W2067477065","https://openalex.org/W2080962990","https://openalex.org/W2082150991","https://openalex.org/W2089617756","https://openalex.org/W2099785642","https://openalex.org/W2103417273","https://openalex.org/W2106806718","https://openalex.org/W2108835472","https://openalex.org/W2147610425","https://openalex.org/W2147910305","https://openalex.org/W2149565588","https://openalex.org/W2155519322","https://openalex.org/W2159344381","https://openalex.org/W2531526418","https://openalex.org/W2766181281","https://openalex.org/W2796845927","https://openalex.org/W2971390818","https://openalex.org/W3087537363","https://openalex.org/W4245777296","https://openalex.org/W4255034261","https://openalex.org/W4310300362","https://openalex.org/W6604789863","https://openalex.org/W6633896920","https://openalex.org/W6648358825","https://openalex.org/W6656922794","https://openalex.org/W6683021380","https://openalex.org/W6683029788","https://openalex.org/W6761793296","https://openalex.org/W6966962139","https://openalex.org/W7017954147"],"related_works":["https://openalex.org/W2113145181","https://openalex.org/W4320913893","https://openalex.org/W4283709194","https://openalex.org/W1988588233","https://openalex.org/W2061502341","https://openalex.org/W2247544924","https://openalex.org/W2064711174","https://openalex.org/W4246910856","https://openalex.org/W4298180250","https://openalex.org/W3103660633"],"abstract_inverted_index":{"Abstract":[0],"We":[1,67,128],"consider":[2],"three":[3],"monads":[4,70,107],"on":[5,143],"$\\mathsf{Top}$":[6,144],",":[7,33],"the":[8,28,46,54,63,93,97,156],"category":[9],"of":[10,17,41,57,77,95,99,106,138,150,158,167],"topological":[11,15],"spaces,":[12],"which":[13,34],"formalize":[14],"aspects":[16],"probability":[18,141,161],"and":[19,87],"possibility":[20],"in":[21,71,75],"categorical":[22],"terms.":[23],"The":[24,50],"first":[25],"one":[26,52],"is":[27,53,103,123,163],"Hoare":[29],"hyperspace":[30],"monad":[31,55],"H":[32,118],"assigns":[35],"to":[36,90,135],"every":[37,117],"space":[38,40],"its":[39],"closed":[42],"subsets":[43],"equipped":[44],"with":[45],"lower":[47],"Vietoris":[48],"topology.":[49],"second":[51],"V":[56,126,131],"continuous":[58,101],"valuations,":[59],"also":[60,124,164],"known":[61],"as":[62],"extended":[64],"probabilistic":[65],"powerdomain.":[66],"construct":[68],"both":[69],"a":[72,82,100,104,125,136,165],"unified":[73],"way":[74],"terms":[76],"double":[78],"dualization.":[79],"This":[80],"reveals":[81],"close":[83],"analogy":[84],"between":[85],"them":[86],"allows":[88],"us":[89],"prove":[91],"that":[92,116,130,154],"operation":[94],"taking":[96,155],"support":[98],"valuation":[102],"morphism":[105,166],"$V":[108],"\\to":[109],"H$":[110],".":[111,145],"In":[112],"particular,":[113],"this":[114],"implies":[115],"-algebra":[119],"(topological":[120],"complete":[121],"semilattice)":[122],"-algebra.":[127],"show":[129],"can":[132],"be":[133],"restricted":[134],"submonad":[137],"$\\tau$":[139,159],"-smooth":[140,160],"measures":[142,162],"By":[146],"composing":[147],"these":[148],"morphisms":[149],"monads,":[151],"we":[152],"obtain":[153],"supports":[157],"monads.":[168]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}