dc.contributor.author | Arrieta Torres, Igor | |
dc.date.accessioned | 2023-12-21T16:19:12Z | |
dc.date.available | 2023-12-21T16:19:12Z | |
dc.date.issued | 2023-12-07 | |
dc.identifier.citation | Topology and its Applications 342 : (2024) // Art.Id. 108785 | es_ES |
dc.identifier.issn | 1879-3207 | |
dc.identifier.issn | 0166-8641 | |
dc.identifier.uri | http://hdl.handle.net/10810/63484 | |
dc.description.abstract | [EN] There are a number of localic separation axioms which are roughly analogous to the T1-axiom from classical topology. For instance, besides the well-known subfitness and fitness, there are also Rosický-Šmarda's T1-locales, totally unordered locales and, more categorically, the recently introduced
F-separated locales (i.e., those with a fitted diagonal) - a property strictly weaker than fitness.
It has recently been shown that the strong Hausdorff property and F-separatedness are in a certain sense dual to each other. In this paper, we provide further instances of this duality - e.g., we introduce a new first-order separation property which is to F-separatedness as the Johnstone–Sun-shu-Hao–Paseka–Šmarda conservative Hausdorff axiom is to the strong Hausdorff property, and which can be of independent interest. Using this, we tie up the loose ends of the theory by establishing all the possible implications between these properties and other T1-type axioms occurring in the literature. In particular, we show that the strong Hausdorff property does not imply F-separatedness, a question which remained open and shows a remarkable difference with its counterpart in the category of topological spaces. | es_ES |
dc.description.sponsorship | The author acknowledges support from the Basque Government (grant IT1483-22 and a postdoctoral fellowship of the Basque Government, grant POS-2022-1-0015). | es_ES |
dc.language.iso | eng | es_ES |
dc.publisher | Elsevier | es_ES |
dc.rights | info:eu-repo/semantics/openAccess | es_ES |
dc.rights.uri | http://creativecommons.org/licenses/by/3.0/es/ | * |
dc.subject | locale | es_ES |
dc.subject | separation axiom | es_ES |
dc.subject | closure operator | es_ES |
dc.subject | T1-axiom | es_ES |
dc.subject | saturated subspace | es_ES |
dc.subject | fitted sublocale | es_ES |
dc.subject | duality | es_ES |
dc.subject | strong hausdorff locale | es_ES |
dc.subject | F-separated locale | es_ES |
dc.title | Localic separation and the duality between closedness and fittedness | es_ES |
dc.type | info:eu-repo/semantics/article | es_ES |
dc.rights.holder | © 2023 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/). | es_ES |
dc.relation.publisherversion | https://doi.org/10.1016/j.topol.2023.108785 | es_ES |
dc.identifier.doi | 10.1016/j.topol.2023.108785 | |
dc.departamentoes | Matemáticas | es_ES |
dc.departamentoeu | Matematika | es_ES |