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.
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universitat Politècnica de València
2003-04-01
|
| Series: | Applied General Topology |
| Subjects: | |
| Online Access: | http://polipapers.upv.es/index.php/AGT/article/view/2018 |