Matches in SemOpenAlex for { <https://semopenalex.org/work/W58003850> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W58003850 endingPage "160" @default.
- W58003850 startingPage "145" @default.
- W58003850 abstract "We study the construction of preorders on Set-monads by the semantic ⊤ ⊤-lifting. We show the universal property of this construction, and characterise the class of preorders on a monad as a limit of a Card op -chain. We apply these theoretical results to identifying preorders on some concrete monads, including the powerset monad, maybe monad, and their composite monad. We also relate the construction of preorders and coalgebraic formulation of simulations." @default.
- W58003850 created "2016-06-24" @default.
- W58003850 creator A5041431787 @default.
- W58003850 creator A5076892896 @default.
- W58003850 date "2013-01-01" @default.
- W58003850 modified "2023-10-18" @default.
- W58003850 title "Preorders on Monads and Coalgebraic Simulations" @default.
- W58003850 cites W1507465323 @default.
- W58003850 cites W1516346965 @default.
- W58003850 cites W1542578030 @default.
- W58003850 cites W1543688617 @default.
- W58003850 cites W1596840381 @default.
- W58003850 cites W1790537001 @default.
- W58003850 cites W2046946052 @default.
- W58003850 cites W2086788473 @default.
- W58003850 cites W2098457963 @default.
- W58003850 cites W2102919649 @default.
- W58003850 cites W2109623518 @default.
- W58003850 cites W2113109742 @default.
- W58003850 cites W2124315269 @default.
- W58003850 cites W2134692477 @default.
- W58003850 cites W2149412346 @default.
- W58003850 cites W2170219532 @default.
- W58003850 cites W2949155565 @default.
- W58003850 cites W4236251393 @default.
- W58003850 cites W56167739 @default.
- W58003850 doi "https://doi.org/10.1007/978-3-642-37075-5_10" @default.
- W58003850 hasPublicationYear "2013" @default.
- W58003850 type Work @default.
- W58003850 sameAs 58003850 @default.
- W58003850 citedByCount "10" @default.
- W58003850 countsByYear W580038502014 @default.
- W58003850 countsByYear W580038502015 @default.
- W58003850 countsByYear W580038502018 @default.
- W58003850 countsByYear W580038502019 @default.
- W58003850 countsByYear W580038502021 @default.
- W58003850 countsByYear W580038502023 @default.
- W58003850 crossrefType "book-chapter" @default.
- W58003850 hasAuthorship W58003850A5041431787 @default.
- W58003850 hasAuthorship W58003850A5076892896 @default.
- W58003850 hasBestOaLocation W580038501 @default.
- W58003850 hasConcept C111472728 @default.
- W58003850 hasConcept C136119220 @default.
- W58003850 hasConcept C138885662 @default.
- W58003850 hasConcept C154945302 @default.
- W58003850 hasConcept C156772000 @default.
- W58003850 hasConcept C189950617 @default.
- W58003850 hasConcept C202444582 @default.
- W58003850 hasConcept C2777212361 @default.
- W58003850 hasConcept C33923547 @default.
- W58003850 hasConcept C33959348 @default.
- W58003850 hasConcept C41008148 @default.
- W58003850 hasConceptScore W58003850C111472728 @default.
- W58003850 hasConceptScore W58003850C136119220 @default.
- W58003850 hasConceptScore W58003850C138885662 @default.
- W58003850 hasConceptScore W58003850C154945302 @default.
- W58003850 hasConceptScore W58003850C156772000 @default.
- W58003850 hasConceptScore W58003850C189950617 @default.
- W58003850 hasConceptScore W58003850C202444582 @default.
- W58003850 hasConceptScore W58003850C2777212361 @default.
- W58003850 hasConceptScore W58003850C33923547 @default.
- W58003850 hasConceptScore W58003850C33959348 @default.
- W58003850 hasConceptScore W58003850C41008148 @default.
- W58003850 hasLocation W580038501 @default.
- W58003850 hasLocation W580038502 @default.
- W58003850 hasOpenAccess W58003850 @default.
- W58003850 hasPrimaryLocation W580038501 @default.
- W58003850 hasRelatedWork W1560139384 @default.
- W58003850 hasRelatedWork W1808421381 @default.
- W58003850 hasRelatedWork W2007735529 @default.
- W58003850 hasRelatedWork W2016580477 @default.
- W58003850 hasRelatedWork W2020174565 @default.
- W58003850 hasRelatedWork W2020478166 @default.
- W58003850 hasRelatedWork W2096753949 @default.
- W58003850 hasRelatedWork W2357111437 @default.
- W58003850 hasRelatedWork W4220985904 @default.
- W58003850 hasRelatedWork W4249580765 @default.
- W58003850 isParatext "false" @default.
- W58003850 isRetracted "false" @default.
- W58003850 magId "58003850" @default.
- W58003850 workType "book-chapter" @default.