Localic maps constructed from open and closed parts
Assembling a localic map $fcolon Lto M$ from localic maps $f_icolon S_ito M$, $iin J$, defined on closed resp. open sublocales $(J$ finite in the closed case$)$ follows the same rules as in the classical case. The corresponding classical facts immediately follow from the behavior of preimages but f...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Shahid Beheshti University
2017-01-01
|
| Series: | Categories and General Algebraic Structures with Applications |
| Subjects: | |
| Online Access: | http://www.cgasa.ir/article_15806_f90dc6ec251a402f3ff01305864296bd.pdf |
| Summary: | Assembling a localic map $fcolon Lto M$ from localic maps $f_icolon S_ito M$, $iin J$, defined on closed resp. open sublocales $(J$ finite in the closed case$)$ follows the same rules as in the classical case. The corresponding classical facts immediately follow from the behavior of preimages but for obvious reasons such a proof cannot be imitated in the point-free context. Instead, we present simple proofs based on categorical reasoning. There are some related aspects of localic preimages that are of interest, though. They are investigated in the second half of the paper. |
|---|---|
| ISSN: | 2345-5853 2345-5861 |