Charles Explorer logo
🇬🇧

Exact and strongly exact filters

Publication at Faculty of Mathematics and Physics |
2020

Abstract

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).