Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/43954
Título: | Localic maps constructed from open and closed parts | Autor: | Picado, Jorge Pultr, Aleš |
Data: | 2017 | Editora: | Shahid Beheshti University | Projeto: | info:eu-repo/grantAgreement/FCT/5876/147205/PT | Título da revista, periódico, livro ou evento: | Categories and General Algebraic Structures with Applications | Volume: | 6 | Resumo: | Assembling a localic map f:L→M from localic maps f_i:S_i→M, i∈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. | URI: | https://hdl.handle.net/10316/43954 | Direitos: | openAccess |
Aparece nas coleções: | I&D CMUC - Artigos em Revistas Internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
LEGO(revised).pdf | 116.18 kB | Adobe PDF | Ver/Abrir |
Visualizações de página
212
Visto em 15/out/2024
Downloads
148
Visto em 15/out/2024
Google ScholarTM
Verificar
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.