Exact and strongly exact filters

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F20%3A10420352" target="_blank" >RIV/00216208:11320/20:10420352 - isvavai.cz</a>

Výsledek na webu

<a href="https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=ehpNScz4bi" target="_blank" >https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=ehpNScz4bi</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s10485-020-09602-0" target="_blank" >10.1007/s10485-020-09602-0</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Exact and strongly exact filters

Popis výsledku v původním jazyce

A meet in a frame is exact if it join-distributes with every element, it is strongly exact if it is preserved by every frame homomorphism. Hence, finite meets are (strongly) exact which leads to the concept of an exact resp. strongly exact filter, a filter closed under exact resp. strongly exact meets. It is known that the exact filters constitute a frame Filt E(L) somewhat surprisingly isomorphic to the frame of joins of closed sublocales. In this paper we present a characteristic of the coframe of meets of open sublocales as the dual to the frame of strongly exact filters Filt sE(L).

Název v anglickém jazyce

Exact and strongly exact filters

Popis výsledku anglicky

A meet in a frame is exact if it join-distributes with every element, it is strongly exact if it is preserved by every frame homomorphism. Hence, finite meets are (strongly) exact which leads to the concept of an exact resp. strongly exact filter, a filter closed under exact resp. strongly exact meets. It is known that the exact filters constitute a frame Filt E(L) somewhat surprisingly isomorphic to the frame of joins of closed sublocales. In this paper we present a characteristic of the coframe of meets of open sublocales as the dual to the frame of strongly exact filters Filt sE(L).

Druh

J_imp - Č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)

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2020

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ů

Název periodika

Applied Categorical Structures

ISSN

0927-2852

e-ISSN

—

Svazek periodika

28

Číslo periodika v rámci svazku

6

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

14

Strana od-do

907-920

Kód UT WoS článku

000552519000001

EID výsledku v databázi Scopus

2-s2.0-85088559541