Frobenius identities and geometrical aspects of Joyal-Tierney Theorem
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F24%3A10493598" target="_blank" >RIV/00216208:11320/24:10493598 - isvavai.cz</a>
Result on the web
<a href="https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=Wk9C-wlBc_" target="_blank" >https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=Wk9C-wlBc_</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.topol.2024.109127" target="_blank" >10.1016/j.topol.2024.109127</a>
Alternative languages
Result language
angličtina
Original language name
Frobenius identities and geometrical aspects of Joyal-Tierney Theorem
Original language description
Open and related maps in the point-free context are studied from a consequently geometric perspective: that is, the opens are concrete well-defined subsets, images of localic maps are set-theoretic images f [U], etc. We present a short proof of JoyalTierney Theorem in this setting, a (geometric) characteristic of localic maps that are just complete, and prove that open localic maps also preserve a natural type of sublocales more general than the open ones. A crucial role is played by Frobenius identities that are briefly discussed also in their general aspects. (c) 2024 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (http:// creativecommons.org /licenses /by-nc-nd /4 .0/).
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2024
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Topology and its Applications
ISSN
0166-8641
e-ISSN
1879-3207
Volume of the periodical
358
Issue of the periodical within the volume
December 2024
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
12
Pages from-to
109127
UT code for WoS article
001353959100001
EID of the result in the Scopus database
2-s2.0-85208122899