Properly injective spaces and function spaces

DOI10.1016/S0166-8641(97)00225-3zbMath0922.06008WikidataQ114121887 ScholiaQ114121887MaRDI QIDQ1295213

Martín Hötzel Escardó

Publication date: 6 September 1999

Published in: Topology and its Applications (Search for Journal in Brave)

zbMATH Keywords

localesScott topologyproper mapsfunction spacesKan extensionsinjective objectscontinuous domainscontinuous latticesScott domainsinjective spacescategory of sober spacesposet-enriched categoriesproper embeddingsspaces of maximal pointsstably locally compact spacessubspace embedding

Mathematics Subject Classification ID

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

Unnamed Item ⋮ The monad on strong quasi-metric spaces ⋮ The saturated prefilter monad ⋮ Characterising E-projectives via co-monads ⋮ Lax orthogonal factorisation systems ⋮ Order-adjoint monads and injective objects ⋮ A calculus of lax fractions ⋮ The double power monad is the composite power monad ⋮ Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations ⋮ Injective hulls of quantale-enriched multicategories ⋮ The space of measurement outcomes as a spectral invariant for non-commutative algebras ⋮ Fibrewise injectivity and Kock-Zöberlein monads ⋮ On presheaf submonads of quantale-enriched categories ⋮ A domain-theoretic framework for robustness analysis of neural networks ⋮ The order-K-ification monads ⋮ The patch construction is dual to algebraic DCPO representation ⋮ Unnamed Item ⋮ Characterising E-projectives via Comonads ⋮ Order-preserving reflectors and injectivity ⋮ Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces ⋮ A note on injective spaces. ⋮ Projective sup-algebras: a general view ⋮ On Kan-injectivity of locales and spaces ⋮ The enriched Vietoris monad on representable spaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The regular-locally compact coreflection of a stably locally compact locale ⋮ Kan injectivity in order-enriched categories ⋮ Pitts monads and a lax descent theorem ⋮ Algebraic and Categorical Aspects of Quantales ⋮ The order-sobrification monad ⋮ Nuclear typing of frames vs spatial selectors ⋮ Point-sensitive and point-free patch constructions ⋮ Lax orthogonal factorisations in ordered structures ⋮ Regularity in algebraic frames ⋮ Unnamed Item ⋮ Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains ⋮ Induction and recursion on the partial real line with applications to Real PCF ⋮ Formal ball monads ⋮ Domain representations of topological spaces ⋮ Unnamed Item ⋮ Cofibrantly generated lax orthogonal factorisation systems ⋮ Compactly generated Hausdorff locales ⋮ The constructive maximal point space and partial metrizability ⋮ Closures on CPOs form complete lattices ⋮ Integration in Real PCF ⋮ On envelopes and backward approximations ⋮ Polish spaces, computable approximations, and bitopological spaces ⋮ Taut monads and \(T0\)-spaces. ⋮ Function-space compactifications of function spaces

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