Abstract
<p>We show that the locales which are injective over perfect sublocale embeddings coincide with the underlying objects of the algebras of the upper powerlocale monad, and we characterize them as those whose frames of opens enjoy a property analogous to stable supercontinuity.</p>
Publisher
Universitat Politecnica de Valencia
Reference21 articles.
1. Another look at the localic Tychonoff theorem;Banaschewski;Comment Math Univ Carolin,1988
2. Stably continuous frames
3. Projective and supercoherent frames
4. Filter Monads, Continuous Lattices and Closure Systems
5. Injective spaces via the filter monad;Escardó;Topology Proceedings,1997
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On Kan-injectivity of Locales and Spaces;Applied Categorical Structures;2015-10-17
2. Characterising E-projectives via Comonads;Mathematical Structures in Computer Science;2015-05-12
3. Kan injectivity in order-enriched categories;Mathematical Structures in Computer Science;2014-12-02
4. Characterising E-projectives via Co-monads;Electronic Notes in Theoretical Computer Science;2014-02
5. Order-preserving reflectors and injectivity;Topology and its Applications;2011-11