Properly injective spaces and function spaces

From MaRDI portal
Publication:1295213

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)




Related Items

Unnamed ItemThe monad on strong quasi-metric spacesThe saturated prefilter monadCharacterising E-projectives via co-monadsLax orthogonal factorisation systemsOrder-adjoint monads and injective objectsA calculus of lax fractionsThe double power monad is the composite power monadKantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuationsInjective hulls of quantale-enriched multicategoriesThe space of measurement outcomes as a spectral invariant for non-commutative algebrasFibrewise injectivity and Kock-Zöberlein monadsOn presheaf submonads of quantale-enriched categoriesA domain-theoretic framework for robustness analysis of neural networksThe order-K-ification monadsThe patch construction is dual to algebraic DCPO representationUnnamed ItemCharacterising E-projectives via ComonadsOrder-preserving reflectors and injectivitySome topological properties of spaces of Lipschitz continuous maps on quasi-metric spacesA note on injective spaces.Projective sup-algebras: a general viewOn Kan-injectivity of locales and spacesThe enriched Vietoris monad on representable spacesUnnamed ItemUnnamed ItemThe regular-locally compact coreflection of a stably locally compact localeKan injectivity in order-enriched categoriesPitts monads and a lax descent theoremAlgebraic and Categorical Aspects of QuantalesThe order-sobrification monadNuclear typing of frames vs spatial selectorsPoint-sensitive and point-free patch constructionsLax orthogonal factorisations in ordered structuresRegularity in algebraic framesUnnamed ItemKantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomainsInduction and recursion on the partial real line with applications to Real PCFFormal ball monadsDomain representations of topological spacesUnnamed ItemCofibrantly generated lax orthogonal factorisation systemsCompactly generated Hausdorff localesThe constructive maximal point space and partial metrizabilityClosures on CPOs form complete latticesIntegration in Real PCFOn envelopes and backward approximationsPolish spaces, computable approximations, and bitopological spacesTaut monads and \(T0\)-spaces.Function-space compactifications of function spaces



Cites Work