Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/112168
Título: | Presenting Quotient Locales | Autor: | Manuell, Graham | Palavras-chave: | Perfect map; Lax proper map; Semi-open map; Subframe; Classifying locale | Data: | 2023 | Editora: | Springer Nature | Projeto: | UIDB/00324/2020 | Título da revista, periódico, livro ou evento: | Applied Categorical Structures | Volume: | 31 | Número: | 4 | Resumo: | It is often useful to be able to deal with locales in terms of presentations of their underlying frames, or equivalently, the geometric theories which they classify. Given a presentation for a locale, presentations for its sublocales can be obtained by simply appending additional relations, but the case of quotient locales is more subtle. We provide simple procedures for obtaining presentations of open quotients, proper quotients or general triquotients from presentations of the parent locale. The results are proved with the help of the suplattice, preframe and dcpo coverage theorems and applied to obtain presentations of the circle from ones for R and [0, 1]. | URI: | https://hdl.handle.net/10316/112168 | ISSN: | 0927-2852 1572-9095 |
DOI: | 10.1007/s10485-023-09736-x | Direitos: | openAccess |
Aparece nas coleções: | I&D CMUC - Artigos em Revistas Internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Presenting-Quotient-LocalesApplied-Categorical-Structures.pdf | 260.26 kB | Adobe PDF | Ver/Abrir |
Visualizações de página
47
Visto em 17/jul/2024
Downloads
33
Visto em 17/jul/2024
Google ScholarTM
Verificar
Altmetric
Altmetric
Este registo está protegido por Licença Creative Commons