Matches in SemOpenAlex for { <https://semopenalex.org/work/W2906890904> ?p ?o ?g. }
- W2906890904 endingPage "244" @default.
- W2906890904 startingPage "229" @default.
- W2906890904 abstract "Many categories of semantic domains can be considered from an order-theoretic point of view and from a topological point of view via the Scott topology. The topological point of view is particularly fruitful for considerations of computability in classical spaces such as the Euclidean real line. When one embeds topological spaces into domains, one requires that the Scott continuous maps between the host domains fully capture the continuous maps between the guest topological spaces. This property of the host domains is known as injectivity. For example, the continuous Scott domains are characterized as the injective spaces over dense subspace embeddings (Dana Scott, 1972, 1980). From a third point of view, the continuous Scott domains arise as the algebras of a monad (Wyler, 1985). The topological characterization by injectivity turns out to follow from the algebraic characterization and general category theory (Escardó 1998). In this paper we systematically consider monads that arise in semantics and topology, obtaining new proofs and discovering new characterizations of semantic domains and topological spaces by injectivity." @default.
- W2906890904 created "2019-01-11" @default.
- W2906890904 creator A5005287416 @default.
- W2906890904 creator A5050767630 @default.
- W2906890904 date "1999-01-01" @default.
- W2906890904 modified "2023-09-27" @default.
- W2906890904 title "Semantic Domains, Injective Spaces and Monads" @default.
- W2906890904 cites W127654054 @default.
- W2906890904 cites W1998807166 @default.
- W2906890904 cites W2032212374 @default.
- W2906890904 cites W2082177110 @default.
- W2906890904 cites W2095506278 @default.
- W2906890904 cites W2149565588 @default.
- W2906890904 cites W2154851516 @default.
- W2906890904 cites W2164711115 @default.
- W2906890904 cites W2330760217 @default.
- W2906890904 cites W4210463406 @default.
- W2906890904 cites W4213060855 @default.
- W2906890904 cites W4243711577 @default.
- W2906890904 doi "https://doi.org/10.1016/s1571-0661(04)80077-x" @default.
- W2906890904 hasPublicationYear "1999" @default.
- W2906890904 type Work @default.
- W2906890904 sameAs 2906890904 @default.
- W2906890904 citedByCount "32" @default.
- W2906890904 countsByYear W29068909042012 @default.
- W2906890904 countsByYear W29068909042014 @default.
- W2906890904 countsByYear W29068909042015 @default.
- W2906890904 countsByYear W29068909042016 @default.
- W2906890904 countsByYear W29068909042017 @default.
- W2906890904 countsByYear W29068909042019 @default.
- W2906890904 countsByYear W29068909042020 @default.
- W2906890904 countsByYear W29068909042021 @default.
- W2906890904 countsByYear W29068909042022 @default.
- W2906890904 countsByYear W29068909042023 @default.
- W2906890904 crossrefType "journal-article" @default.
- W2906890904 hasAuthorship W2906890904A5005287416 @default.
- W2906890904 hasAuthorship W2906890904A5050767630 @default.
- W2906890904 hasBestOaLocation W29068909041 @default.
- W2906890904 hasConcept C104317684 @default.
- W2906890904 hasConcept C114614502 @default.
- W2906890904 hasConcept C128107574 @default.
- W2906890904 hasConcept C134306372 @default.
- W2906890904 hasConcept C14166107 @default.
- W2906890904 hasConcept C156772000 @default.
- W2906890904 hasConcept C171250308 @default.
- W2906890904 hasConcept C178099376 @default.
- W2906890904 hasConcept C184720557 @default.
- W2906890904 hasConcept C185592680 @default.
- W2906890904 hasConcept C192562407 @default.
- W2906890904 hasConcept C202444582 @default.
- W2906890904 hasConcept C2524010 @default.
- W2906890904 hasConcept C2780841128 @default.
- W2906890904 hasConcept C32834561 @default.
- W2906890904 hasConcept C33923547 @default.
- W2906890904 hasConcept C33959348 @default.
- W2906890904 hasConcept C47776270 @default.
- W2906890904 hasConcept C55112680 @default.
- W2906890904 hasConcept C55493867 @default.
- W2906890904 hasConcept C6419321 @default.
- W2906890904 hasConcept C81332173 @default.
- W2906890904 hasConcept C83177873 @default.
- W2906890904 hasConceptScore W2906890904C104317684 @default.
- W2906890904 hasConceptScore W2906890904C114614502 @default.
- W2906890904 hasConceptScore W2906890904C128107574 @default.
- W2906890904 hasConceptScore W2906890904C134306372 @default.
- W2906890904 hasConceptScore W2906890904C14166107 @default.
- W2906890904 hasConceptScore W2906890904C156772000 @default.
- W2906890904 hasConceptScore W2906890904C171250308 @default.
- W2906890904 hasConceptScore W2906890904C178099376 @default.
- W2906890904 hasConceptScore W2906890904C184720557 @default.
- W2906890904 hasConceptScore W2906890904C185592680 @default.
- W2906890904 hasConceptScore W2906890904C192562407 @default.
- W2906890904 hasConceptScore W2906890904C202444582 @default.
- W2906890904 hasConceptScore W2906890904C2524010 @default.
- W2906890904 hasConceptScore W2906890904C2780841128 @default.
- W2906890904 hasConceptScore W2906890904C32834561 @default.
- W2906890904 hasConceptScore W2906890904C33923547 @default.
- W2906890904 hasConceptScore W2906890904C33959348 @default.
- W2906890904 hasConceptScore W2906890904C47776270 @default.
- W2906890904 hasConceptScore W2906890904C55112680 @default.
- W2906890904 hasConceptScore W2906890904C55493867 @default.
- W2906890904 hasConceptScore W2906890904C6419321 @default.
- W2906890904 hasConceptScore W2906890904C81332173 @default.
- W2906890904 hasConceptScore W2906890904C83177873 @default.
- W2906890904 hasLocation W29068909041 @default.
- W2906890904 hasOpenAccess W2906890904 @default.
- W2906890904 hasPrimaryLocation W29068909041 @default.
- W2906890904 hasRelatedWork W1556950457 @default.
- W2906890904 hasRelatedWork W1568801392 @default.
- W2906890904 hasRelatedWork W1963664843 @default.
- W2906890904 hasRelatedWork W2046035829 @default.
- W2906890904 hasRelatedWork W2099252149 @default.
- W2906890904 hasRelatedWork W2794231711 @default.
- W2906890904 hasRelatedWork W2906890904 @default.
- W2906890904 hasRelatedWork W2964344094 @default.
- W2906890904 hasRelatedWork W3049343291 @default.
- W2906890904 hasRelatedWork W4297789457 @default.
- W2906890904 hasVolume "20" @default.