Pages that link to "Item:Q1295213"

The following pages link to Properly injective spaces and function spaces (Q1295213):

Displaying 43 items.

• Characterising E-projectives via co-monads (Q276429) (← links)
• Lax orthogonal factorisation systems (Q317326) (← links)
• A calculus of lax fractions (Q326585) (← links)
• On Kan-injectivity of locales and spaces (Q513908) (← links)
• The patch construction is dual to algebraic DCPO representation (Q633791) (← links)
• Order-preserving reflectors and injectivity (Q645206) (← links)
• The saturated prefilter monad (Q820674) (← links)
• Order-adjoint monads and injective objects (Q847677) (← links)
• Regularity in algebraic frames (Q995617) (← links)
• Induction and recursion on the partial real line with applications to Real PCF (Q1274810) (← links)
• A note on injective spaces. (Q1426505) (← links)
• Domain representations of topological spaces (Q1583255) (← links)
• Polish spaces, computable approximations, and bitopological spaces (Q1602950) (← links)
• Function-space compactifications of function spaces (Q1612188) (← links)
• Closures on CPOs form complete lattices (Q1854300) (← links)
• Integration in Real PCF (Q1854356) (← links)
• Taut monads and \(T0\)-spaces. (Q1870523) (← links)
• The space of measurement outcomes as a spectral invariant for non-commutative algebras (Q1929295) (← links)
• Fibrewise injectivity and Kock-Zöberlein monads (Q1936111) (← links)
• The order-sobrification monad (Q2024926) (← links)
• Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains (Q2052570) (← links)
• On envelopes and backward approximations (Q2104271) (← links)
• The monad on strong quasi-metric spaces (Q2120964) (← links)
• Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces (Q2215622) (← links)
• The enriched Vietoris monad on representable spaces (Q2249254) (← links)
• Pitts monads and a lax descent theorem (Q2260278) (← links)
• Formal ball monads (Q2312469) (← links)
• Cofibrantly generated lax orthogonal factorisation systems (Q2336048) (← links)
• The double power monad is the composite power monad (Q2398038) (← links)
• Projective sup-algebras: a general view (Q2469567) (← links)
• Nuclear typing of frames vs spatial selectors (Q2502180) (← links)
• Point-sensitive and point-free patch constructions (Q2504392) (← links)
• Compactly generated Hausdorff locales (Q2575768) (← links)
• The constructive maximal point space and partial metrizability (Q2575776) (← links)
• Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations (Q2664100) (← links)
• Injective hulls of quantale-enriched multicategories (Q2667932) (← links)
• (Q2843631) (← links)
• (Q2843633) (← links)
• (Q2969086) (← links)
• Characterising E-projectives via Comonads (Q2971116) (← links)
• Algebraic and Categorical Aspects of Quantales (Q3053874) (← links)
• A domain-theoretic framework for robustness analysis of neural networks (Q6149907) (← links)
• The order-<b>K</b>-ification monads (Q6149960) (← links)