Exact and strongly exact filters
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Exact and strongly exact filters
Original language description
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).
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
2020
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
Applied Categorical Structures
ISSN
0927-2852
e-ISSN
—
Volume of the periodical
28
Issue of the periodical within the volume
6
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
14
Pages from-to
907-920
UT code for WoS article
000552519000001
EID of the result in the Scopus database
2-s2.0-85088559541