Matches in SemOpenAlex for { <https://semopenalex.org/work/W3008113256> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3008113256 endingPage "107081" @default.
- W3008113256 startingPage "107081" @default.
- W3008113256 abstract "In earlier work, we had introduced the Kantorovich probability monad on complete metric spaces, extending a construction due to van Breugel. Here we extend the Kantorovich monad further to a certain class of ordered metric spaces, by endowing the spaces of probability measures with the usual stochastic order. It can be considered a metric analogue of the probabilistic powerdomain. The spaces we consider, which we call L-ordered, are spaces where the order satisfies a mild compatibility condition with the metric itself, rather than merely with the underlying topology. As we show, this is related to the theory of Lawvere metric spaces, in which the partial order structure is induced by the zero distances. We show that the algebras of the ordered Kantorovich monad are the closed convex subsets of Banach spaces equipped with a closed positive cone, with algebra morphisms given by the short and monotone affine maps. Considering the category of L-ordered metric spaces as a locally posetal 2-category, the lax and oplax algebra morphisms are exactly the concave and convex short maps, respectively. In the unordered case, we had identified the Wasserstein space as the colimit of the spaces of empirical distributions of finite sequences. We prove that this extends to the ordered setting as well by showing that the stochastic order arises by completing the order between the finite sequences, generalizing a recent result of Lawson. The proof holds on any metric space equipped with a closed partial order." @default.
- W3008113256 created "2020-03-06" @default.
- W3008113256 creator A5005788902 @default.
- W3008113256 creator A5087188225 @default.
- W3008113256 date "2020-06-01" @default.
- W3008113256 modified "2023-09-27" @default.
- W3008113256 title "Stochastic order on metric spaces and the ordered Kantorovich monad" @default.
- W3008113256 cites W2020879982 @default.
- W3008113256 cites W2052956617 @default.
- W3008113256 cites W2058860749 @default.
- W3008113256 cites W2068287224 @default.
- W3008113256 cites W2070589948 @default.
- W3008113256 cites W2080962990 @default.
- W3008113256 cites W2087005307 @default.
- W3008113256 cites W2565414991 @default.
- W3008113256 cites W2796845927 @default.
- W3008113256 cites W2963508746 @default.
- W3008113256 cites W3099052395 @default.
- W3008113256 cites W4254387140 @default.
- W3008113256 doi "https://doi.org/10.1016/j.aim.2020.107081" @default.
- W3008113256 hasPublicationYear "2020" @default.
- W3008113256 type Work @default.
- W3008113256 sameAs 3008113256 @default.
- W3008113256 citedByCount "2" @default.
- W3008113256 countsByYear W30081132562020 @default.
- W3008113256 countsByYear W30081132562021 @default.
- W3008113256 crossrefType "journal-article" @default.
- W3008113256 hasAuthorship W3008113256A5005788902 @default.
- W3008113256 hasAuthorship W3008113256A5087188225 @default.
- W3008113256 hasBestOaLocation W30081132562 @default.
- W3008113256 hasConcept C118615104 @default.
- W3008113256 hasConcept C132954091 @default.
- W3008113256 hasConcept C137212723 @default.
- W3008113256 hasConcept C156772000 @default.
- W3008113256 hasConcept C177547787 @default.
- W3008113256 hasConcept C196613150 @default.
- W3008113256 hasConcept C198043062 @default.
- W3008113256 hasConcept C202444582 @default.
- W3008113256 hasConcept C33923547 @default.
- W3008113256 hasConcept C33959348 @default.
- W3008113256 hasConcept C58228006 @default.
- W3008113256 hasConcept C81332173 @default.
- W3008113256 hasConcept C93361540 @default.
- W3008113256 hasConceptScore W3008113256C118615104 @default.
- W3008113256 hasConceptScore W3008113256C132954091 @default.
- W3008113256 hasConceptScore W3008113256C137212723 @default.
- W3008113256 hasConceptScore W3008113256C156772000 @default.
- W3008113256 hasConceptScore W3008113256C177547787 @default.
- W3008113256 hasConceptScore W3008113256C196613150 @default.
- W3008113256 hasConceptScore W3008113256C198043062 @default.
- W3008113256 hasConceptScore W3008113256C202444582 @default.
- W3008113256 hasConceptScore W3008113256C33923547 @default.
- W3008113256 hasConceptScore W3008113256C33959348 @default.
- W3008113256 hasConceptScore W3008113256C58228006 @default.
- W3008113256 hasConceptScore W3008113256C81332173 @default.
- W3008113256 hasConceptScore W3008113256C93361540 @default.
- W3008113256 hasLocation W30081132561 @default.
- W3008113256 hasLocation W30081132562 @default.
- W3008113256 hasOpenAccess W3008113256 @default.
- W3008113256 hasPrimaryLocation W30081132561 @default.
- W3008113256 hasRelatedWork W2001114394 @default.
- W3008113256 hasRelatedWork W2013255427 @default.
- W3008113256 hasRelatedWork W2149227748 @default.
- W3008113256 hasRelatedWork W2185146841 @default.
- W3008113256 hasRelatedWork W2499583595 @default.
- W3008113256 hasRelatedWork W2517893340 @default.
- W3008113256 hasRelatedWork W2795812777 @default.
- W3008113256 hasRelatedWork W2963685769 @default.
- W3008113256 hasRelatedWork W2980697946 @default.
- W3008113256 hasRelatedWork W4213229250 @default.
- W3008113256 hasVolume "366" @default.
- W3008113256 isParatext "false" @default.
- W3008113256 isRetracted "false" @default.
- W3008113256 magId "3008113256" @default.
- W3008113256 workType "article" @default.