Notes on Exact Meets and Joins
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F14%3A10286593" target="_blank" >RIV/00216208:11320/14:10286593 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/s10485-013-9345-4" target="_blank" >http://dx.doi.org/10.1007/s10485-013-9345-4</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s10485-013-9345-4" target="_blank" >10.1007/s10485-013-9345-4</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Notes on Exact Meets and Joins
Popis výsledku v původním jazyce
An exact meet in a lattice is a special type of infimum characterized by, inter alia, distributing over finite joins. In frames, the requirement that a meet is preserved by all frame homomorphisms makes for a slightly stronger property. In this paper these concepts are studied systematically, starting with general lattices and proceeding through general frames to spatial ones, and finally to an important phenomenon in Scott topologies.
Název v anglickém jazyce
Notes on Exact Meets and Joins
Popis výsledku anglicky
An exact meet in a lattice is a special type of infimum characterized by, inter alia, distributing over finite joins. In frames, the requirement that a meet is preserved by all frame homomorphisms makes for a slightly stronger property. In this paper these concepts are studied systematically, starting with general lattices and proceeding through general frames to spatial ones, and finally to an important phenomenon in Scott topologies.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
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í
2014
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
22
Číslo periodika v rámci svazku
5-6
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
14
Strana od-do
699-714
Kód UT WoS článku
000344734900003
EID výsledku v databázi Scopus
—