The Other Closure and Complete Sublocales
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F18%3A10386934" target="_blank" >RIV/00216208:11320/18:10386934 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1007/s10485-018-9516-4" target="_blank" >https://doi.org/10.1007/s10485-018-9516-4</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s10485-018-9516-4" target="_blank" >10.1007/s10485-018-9516-4</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
The Other Closure and Complete Sublocales
Popis výsledku v původním jazyce
Sublocales of a locale (frame, generalized space) can be equivalently represented by frame congruences. In this paper we discuss, a.o., the sublocales corresponding to complete congruences, that is, to frame congruences which are closed under arbitrary meets, and present a "geometric" condition for a sublocale to be complete. To this end we make use of a certain closure operator on the coframe of sublocales that allows not only to formulate the condition but also to analyze certain weak separation properties akin to subfitness or T-1. Trivially, every open sublocale is complete. We specify a very wide class of frames, containing all the subfit ones, where there are no others. In consequence, e.g., in this class of frames, complete homomorphisms are automatically Heyting.
Název v anglickém jazyce
The Other Closure and Complete Sublocales
Popis výsledku anglicky
Sublocales of a locale (frame, generalized space) can be equivalently represented by frame congruences. In this paper we discuss, a.o., the sublocales corresponding to complete congruences, that is, to frame congruences which are closed under arbitrary meets, and present a "geometric" condition for a sublocale to be complete. To this end we make use of a certain closure operator on the coframe of sublocales that allows not only to formulate the condition but also to analyze certain weak separation properties akin to subfitness or T-1. Trivially, every open sublocale is complete. We specify a very wide class of frames, containing all the subfit ones, where there are no others. In consequence, e.g., in this class of frames, complete homomorphisms are automatically Heyting.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
<a href="/cs/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Centrum excelence - Institut teoretické informatiky (CE-ITI)</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2018
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Applied Categorical Structures
ISSN
0927-2852
e-ISSN
—
Svazek periodika
26
Číslo periodika v rámci svazku
5
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
16
Strana od-do
891-906
Kód UT WoS článku
000445266900006
EID výsledku v databázi Scopus
2-s2.0-85041903724