Canonical extensions via fitted sublocales

Abstract We study restrictions of the correspondence between the lattice $$\textsf{SE}(L)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>SE</mml:mi> <mml:mo>(</mml:mo> <mml:mi>L</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> of strongly exact filters, of a frame L , and the coframe $$\mathcal {S}_o(L)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>S</mml:mi> <mml:mi>o</mml:mi> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>L</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> of fitted sublocales. In particular, we consider the classes of exact filters $$\textsf{E}(L)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>E</mml:mi> <mml:mo>(</mml:mo> <mml:mi>L</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> , regular filters $$\textsf{R}(L)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>R</mml:mi> <mml:mo>(</mml:mo> <mml:mi>L</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> , and the intersections $$\mathcal {J}(\textsf{CP}(L))$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>J</mml:mi> <mml:mo>(</mml:mo> <mml:mi>CP</mml:mi> <mml:mo>(</mml:mo> <mml:mi>L</mml:mi> <mml:mo>)</mml:mo> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> and $$\mathcal {J}(\textsf{SO}(L))$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>J</mml:mi> <mml:mo>(</mml:mo> <mml:mi>SO</mml:mi> <mml:mo>(</mml:mo> <mml:mi>L</mml:mi> <mml:mo>)</mml:mo> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> of completely prime and Scott-open filters, respectively. We show that all these classes of filters are sublocales of $$\textsf{SE}(L)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>SE</mml:mi> <mml:mo>(</mml:mo> <mml:mi>L</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> and as such correspond to subcolocales of $$\mathcal {S}_o(L)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>S</mml:mi> <mml:mi>o</mml:mi> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>L</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> 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.