We build on a recent result stating that the frame SE(L) of strongly exact filters for a frame L is anti-isomorphic to the coframe Sₒ(L) of fitted sublocales. The collection E(L) of exact filters of L is known to be a sublocale of this frame. We consider several other subcollections of SE(L): the collections J(CP(L)) and J(SO(L)) of intersections of completely prime and Scott-open filters, respectively, and the collection R(L) of regular elements of the frame of filters. We show that all of these are sublocales of SE(L), and as such they correspond to subcolocales of Sₒ(L), which all turn out to have a concise description. By using the theory of polarities of Birkhoff, one can show that all of the structures mentioned above enjoy universal properties which are variations of that of the canonical extension. We also show how some of these subcollections can be described as polarities and give three new equivalent definitions of subfitness in terms of the lattice of filters.
No takes yet. Share an insight, caveat, or question.
Jakl et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: