Canonical extensions via fitted sublocales
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F25%3A00641331" target="_blank" >RIV/67985840:_____/25:00641331 - isvavai.cz</a>
Alternative codes found
RIV/68407700:21240/25:00383985
Result on the web
<a href="https://doi.org/10.1007/s10485-025-09802-6" target="_blank" >https://doi.org/10.1007/s10485-025-09802-6</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s10485-025-09802-6" target="_blank" >10.1007/s10485-025-09802-6</a>
Alternative languages
Result language
angličtina
Original language name
Canonical extensions via fitted sublocales
Original language description
We study restrictions of the correspondence between the lattice SE(L) of strongly exact filters, of a frame L, and the coframe So(L) of fitted sublocales. In particular, we consider the classes of exact filters E(L), regular filters R(L), and the intersections J (CP(L)) and J (SO(L)) of completely prime and Scott-open filters, respectively. We show that all these classes of filters are sublocales of SE(L) and as such correspond to subcolocales of So(L) with a concise description. The theory of polarities of Birkhoff is central to our investigations. We automatically derive universal properties for the said classes of filters by giving their descriptions in terms of polarities. The obtained universal properties strongly resemble that of the canonical extensions of lattices. We also give new equivalent definitions of subfitness in terms of the lattice of filters.
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
10101 - Pure mathematics
Result continuities
Project
<a href="/en/project/GX20-31529X" target="_blank" >GX20-31529X: Abstract convergence schemes and their complexities</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2025
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
1572-9095
Volume of the periodical
33
Issue of the periodical within the volume
2
Country of publishing house
DE - GERMANY
Number of pages
31
Pages from-to
10
UT code for WoS article
001434408500001
EID of the result in the Scopus database
2-s2.0-85219631158