Injective locales over perfect embeddings and algebras of the upper powerlocale monad

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.

[1]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[2]  Hilary A. Priestley,et al.  Ordered Topological Spaces and the Representation of Distributive Lattices , 1972 .

[3]  Oswald Wyler.  Algebraic Theories for Continuous Semilattices , 1985 .

[4]  Reinhold Heckmann.  Lower and Upper Power Domain Constructions Commute on all Cpos , 1991, Inf. Process. Lett..

[5]  J.J.C. Vermeulen,et al.  Proper maps of locales , 1994 .

[6]  Bernhard Banaschewski,et al.  Another look at the localic Tychonoff theorem , 1988 .

[7]  Steven Vickers,et al.  Constructive points of powerlocales , 1997, Mathematical Proceedings of the Cambridge Philosophical Society.

[8]  A. Kock.  Monads for which Structures are Adjoint to Units , 1995 .

[9]  K. Hofmann,et al.  Continuous Lattices and Domains , 2003 .

[10]  Andrea Schalk,et al.  Algebras for generalized power constructions , 1993 .

[11]  Andrea Schalk,et al.  Domains arising as algebras for powerspace constructions , 1993 .

[12]  Alan Day.  Filter monads, continuous lattices and closure systems , 1975 .

[13]  Martín Hötzel Escardó,et al.  The regular-locally compact coreflection of a stably locally compact locale , 2001 .

[14]  Jimmie D. Lawson,et al.  On the order-theoretical foundation of a theory of quasicompactly generated spaces without separation axiom , 1984, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

[15]  Bernhard Banaschewski,et al.  Projective and supercoherent frames , 1991 .

[16]  Steven J. Vickers,et al.  Locales are Not Pointless , 1994, Theory and Formal Methods.

[17]  Localic Priestley duality , 1997 .

[18]  Peter T. Johnstone,et al.  The gleason cover of a topos, II , 1980 .

[19]  H. Simmons,et al.  A couple of triples , 1982 .

[20]  P. Johnstone,et al.  REVIEWS-Sketches of an elephant: A topos theory compendium , 2003 .

[21]  Bernhard Banaschewski,et al.  Stably continuous frames , 1988, Mathematical Proceedings of the Cambridge Philosophical Society.

[22]  Martin Hotzel Escard.  INJECTIVE SPACES VIA THE FILTER MONAD , 1997 .

[23]  Martín Hötzel Escardó,et al.  Semantic Domains, Injective Spaces and Monads , 1999, MFPS.

[24]  Martín Hötzel Escardó,et al.  Properly injective spaces and function spaces , 1998 .