Properly injective spaces and function spaces
DOI10.1016/S0166-8641(97)00225-3zbMath0922.06008WikidataQ114121887 ScholiaQ114121887MaRDI QIDQ1295213
Publication date: 6 September 1999
Published in: Topology and its Applications (Search for Journal in Brave)
localesScott topologyproper mapsfunction spacesKan extensionsinjective objectscontinuous domainscontinuous latticesScott domainsinjective spacescategory of sober spacesposet-enriched categoriesproper embeddingsspaces of maximal pointsstably locally compact spacessubspace embedding
Function spaces in general topology (54C35) Categorical methods in general topology (54B30) Extension of maps (54C20) Continuous lattices and posets, applications (06B35) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items
Cites Work
- Domain theory and integration
- A computational model for metric spaces
- \(\mathbb{T}^\omega\) as a universal domain
- Sheaves in geometry and logic: a first introduction to topos theory
- LCF considered as a programming language
- A type-theoretical alternative to ISWIM, CUCH, OWHY
- Proper maps of locales
- PCF extended with real numbers
- Dynamical systems, measures, and fractals via domain theory
- Monads for which structures are adjoint to units
- Real number computability and domain theory
- Kan extensions in enriched category theory
- Abstract Interpretation, Logical Relations, and Kan Extensions
- Filter Monads, Continuous Lattices and Closure Systems
- Stable Compactification I
- Data Types as Lattices
- Spaces of maximal points
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item