{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T16:27:39Z","timestamp":1771864059766,"version":"3.50.1"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T00:00:00Z","timestamp":1740700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T00:00:00Z","timestamp":1740700800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001824","name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","doi-asserted-by":"publisher","award":["20-31529X"],"award-info":[{"award-number":["20-31529X"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004240","name":"Akademie V\u011bd \u010cesk\u00e9 Republiky","doi-asserted-by":"publisher","award":["RVO 67985840"],"award-info":[{"award-number":["RVO 67985840"]}],"id":[{"id":"10.13039\/501100004240","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007655","name":"Czech Technical University in Prague","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100007655","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2025,4]]},"abstract":"Abstract<\/jats:title>\n We study restrictions of the correspondence between the lattice \n \n $$\\textsf{SE}(L)$$<\/jats:tex-math>\n \n \n SE<\/mml:mi>\n (<\/mml:mo>\n L<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n <\/mml:math>\n <\/jats:alternatives>\n <\/jats:inline-formula> of strongly exact filters, of a frame L<\/jats:italic>, and the coframe \n \n $$\\mathcal {S}_o(L)$$<\/jats:tex-math>\n \n \n \n S<\/mml:mi>\n o<\/mml:mi>\n <\/mml:msub>\n \n (<\/mml:mo>\n L<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n <\/mml:mrow>\n <\/mml:math>\n <\/jats:alternatives>\n <\/jats:inline-formula> of fitted sublocales. In particular, we consider the classes of exact filters \n \n $$\\textsf{E}(L)$$<\/jats:tex-math>\n \n \n E<\/mml:mi>\n (<\/mml:mo>\n L<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n <\/mml:math>\n <\/jats:alternatives>\n <\/jats:inline-formula>, regular filters \n \n $$\\textsf{R}(L)$$<\/jats:tex-math>\n \n \n R<\/mml:mi>\n (<\/mml:mo>\n L<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n <\/mml:math>\n <\/jats:alternatives>\n <\/jats:inline-formula>, and the intersections \n \n $$\\mathcal {J}(\\textsf{CP}(L))$$<\/jats:tex-math>\n \n \n J<\/mml:mi>\n (<\/mml:mo>\n CP<\/mml:mi>\n (<\/mml:mo>\n L<\/mml:mi>\n )<\/mml:mo>\n )<\/mml:mo>\n <\/mml:mrow>\n <\/mml:math>\n <\/jats:alternatives>\n <\/jats:inline-formula> and \n \n $$\\mathcal {J}(\\textsf{SO}(L))$$<\/jats:tex-math>\n \n \n J<\/mml:mi>\n (<\/mml:mo>\n SO<\/mml:mi>\n (<\/mml:mo>\n L<\/mml:mi>\n )<\/mml:mo>\n )<\/mml:mo>\n <\/mml:mrow>\n <\/mml:math>\n <\/jats:alternatives>\n <\/jats:inline-formula> of completely prime and Scott-open filters, respectively. We show that all these classes of filters are sublocales of \n \n $$\\textsf{SE}(L)$$<\/jats:tex-math>\n \n \n SE<\/mml:mi>\n (<\/mml:mo>\n L<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n <\/mml:math>\n <\/jats:alternatives>\n <\/jats:inline-formula> and as such correspond to subcolocales of \n \n $$\\mathcal {S}_o(L)$$<\/jats:tex-math>\n \n \n \n S<\/mml:mi>\n o<\/mml:mi>\n <\/mml:msub>\n \n (<\/mml:mo>\n L<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n <\/mml:mrow>\n <\/mml:math>\n <\/jats:alternatives>\n <\/jats:inline-formula> 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.\n<\/jats:p>","DOI":"10.1007\/s10485-025-09802-6","type":"journal-article","created":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T15:15:44Z","timestamp":1740755744000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Canonical extensions via fitted sublocales"],"prefix":"10.1007","volume":"33","author":[{"given":"Tom\u00e1\u0161","family":"Jakl","sequence":"first","affiliation":[]},{"given":"Anna Laura","family":"Suarez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,2,28]]},"reference":[{"issue":"1","key":"9802_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00012-021-00757-y","volume":"83","author":"I Arrieta","year":"2021","unstructured":"Arrieta, I.: On joins of complemented sublocales. Algebra Universalis 83(1), 1\u201311 (2021). https:\/\/doi.org\/10.1007\/s00012-021-00757-y","journal-title":"Algebra Universalis"},{"key":"9802_CR2","doi-asserted-by":"publisher","first-page":"108785","DOI":"10.1016\/j.topol.2023.108785","volume":"342","author":"I Arrieta","year":"2024","unstructured":"Arrieta, I.: Localic separation and the duality between closedness and fittedness. Topol. Appl. 342, 108785 (2024)","journal-title":"Topol. Appl."},{"issue":"1","key":"9802_CR3","doi-asserted-by":"publisher","first-page":"105","DOI":"10.48308\/cgasa.2023.233584.1435","volume":"20","author":"I Arrieta","year":"2023","unstructured":"Arrieta, I., Picado, J., Pultr, A.: Notes on the spatial part of a frame. Categ. Gener. Algebraic Struct. Appl. 20(1), 105\u2013129 (2023). https:\/\/doi.org\/10.48308\/cgasa.2023.233584.1435","journal-title":"Categ. Gener. Algebraic Struct. Appl."},{"key":"9802_CR4","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1007\/s10485-020-09593-y","volume":"28","author":"RN Ball","year":"2020","unstructured":"Ball, R.N., Moshier, M.A., Pultr, A.: Exact filters and joins of closed sublocales. Appl. Categ. Struct. 28, 655\u2013667 (2020)","journal-title":"Appl. Categ. Struct."},{"issue":"5","key":"9802_CR5","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1007\/s10485-013-9345-4","volume":"22","author":"RN Ball","year":"2014","unstructured":"Ball, R.N., Picado, J., Pultr, A.: Notes on exact meets and joins. Appl. Categ. Struct. 22(5), 699\u2013714 (2014)","journal-title":"Appl. Categ. Struct."},{"key":"9802_CR6","doi-asserted-by":"crossref","unstructured":"Bezhanishvili, G., Jr, F.D., Moshier, A., Walters-Wayland, J.: Dedekind-MacNeille and related completions: subfitness, regularity, and Booleanness (2024). https:\/\/arxiv.org\/abs\/2405.19171","DOI":"10.1007\/s11083-024-09691-9"},{"key":"9802_CR7","volume-title":"Lattice Theory","author":"G Birkhoff","year":"1948","unstructured":"Birkhoff, G.: Lattice Theory, 3rd edn. American Mathematical Society, New York (1948)","edition":"3"},{"issue":"2","key":"9802_CR8","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1023\/A:1023555514029","volume":"11","author":"MH Escard\u00f3","year":"2003","unstructured":"Escard\u00f3, M.H.: Joins in the frame of nuclei. Appl. Categ. Struct. 11(2), 117\u2013124 (2003)","journal-title":"Appl. Categ. Struct."},{"key":"9802_CR9","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S1571-0661(04)80076-8","volume":"20","author":"MH Escard\u00f3","year":"1999","unstructured":"Escard\u00f3, M.H.: On the compact-regular coreflection of a stably compact locale. Electron. Notes Theor. Comput. Sci. 20, 213\u2013228 (1999)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1","key":"9802_CR10","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0022-4049(99)00172-3","volume":"157","author":"MH Escard\u00f3","year":"2001","unstructured":"Escard\u00f3, M.H.: The regular-locally compact coreflection of a stably locally compact locale. J. Pure Appl. Algebra 157(1), 41\u201355 (2001)","journal-title":"J. Pure Appl. Algebra"},{"key":"9802_CR11","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.topol.2018.06.007","volume":"245","author":"MJ Ferreira","year":"2018","unstructured":"Ferreira, M.J., Picado, J., Pinto, S.M.: Remainders in pointfree topology. Topol. Appl. 245, 21\u201345 (2018)","journal-title":"Topol. Appl."},{"issue":"2","key":"9802_CR12","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s11225-006-9008-7","volume":"84","author":"M Gehrke","year":"2006","unstructured":"Gehrke, M.: Generalized Kripke frames. Stud. Logica. 84(2), 241\u2013275 (2006)","journal-title":"Stud. Logica."},{"key":"9802_CR13","doi-asserted-by":"crossref","unstructured":"Gehrke, M.: Canonical extensions: an algebraic approach to Stone duality. Algebra Universalis 79(3) (2018)","DOI":"10.1007\/s00012-018-0544-6"},{"key":"9802_CR14","unstructured":"Gehrke, M., Fussner, W.: Canonical Extensions Quickly. (Under preparation)"},{"issue":"1","key":"9802_CR15","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1006\/jabr.2000.8622","volume":"238","author":"M Gehrke","year":"2001","unstructured":"Gehrke, M., Harding, J.: Bounded lattice expansions. J. Algebra 238(1), 345\u2013371 (2001)","journal-title":"J. Algebra"},{"issue":"1","key":"9802_CR16","doi-asserted-by":"publisher","first-page":"13","DOI":"10.7146\/math.scand.a-14428","volume":"94","author":"M Gehrke","year":"2004","unstructured":"Gehrke, M., J\u00f3nsson, B.: Bounded distributive lattice expansions. Math. Scand. 94(1), 13\u201345 (2004)","journal-title":"Math. Scand."},{"key":"9802_CR17","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BFb0089908","volume-title":"Continuous Lattices","author":"KH Hofmann","year":"1981","unstructured":"Hofmann, K.H., Mislove, M.W.: Local compactness and continuous lattices. In: Continuous Lattices. Lecture Notes in Mathematics, vol. 871, pp. 209\u2013248. Springer, Berlin-Heidelberg-New York (1981)"},{"key":"9802_CR18","doi-asserted-by":"publisher","first-page":"106976","DOI":"10.1016\/j.topol.2019.106976","volume":"273","author":"T Jakl","year":"2020","unstructured":"Jakl, T.: Canonical extensions of locally compact frames. Topol. Appl. 273, 106976 (2020). https:\/\/doi.org\/10.1016\/j.topol.2019.106976","journal-title":"Topol. Appl."},{"key":"9802_CR19","first-page":"155","volume":"101","author":"PT Johnstone","year":"1985","unstructured":"Johnstone, P.T.: Vietoris locales and localic semilattices. Contin. Lattices Appl. 101, 155\u2013180 (1985)","journal-title":"Contin. Lattices Appl."},{"key":"9802_CR20","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators, I. Am. J. Math. 73, 891\u2013939 (1951)","journal-title":"Am. J. Math."},{"key":"9802_CR21","doi-asserted-by":"publisher","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B J\u00f3nsson","year":"1952","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators, II. Am. J. Math. 74, 127\u2013162 (1952)","journal-title":"Am. J. Math."},{"key":"9802_CR22","doi-asserted-by":"publisher","first-page":"107906","DOI":"10.1016\/j.topol.2021.107906","volume":"309","author":"MA Moshier","year":"2022","unstructured":"Moshier, M.A., Picado, J., Pultr, A.: Some general aspects of exactness and strong exactness of meets. Topol. Appl. 309, 107906 (2022)","journal-title":"Topol. Appl."},{"issue":"sup1","key":"9802_CR23","doi-asserted-by":"publisher","first-page":"239","DOI":"10.2989\/16073606.2023.2247793","volume":"46","author":"MA Moshier","year":"2023","unstructured":"Moshier, M.A., Picado, J., Pultr, A.: Some properties of conjunctivity (subfitness) in generalized settings. Quaestiones Mathematicae 46(sup1), 239\u2013252 (2023). https:\/\/doi.org\/10.2989\/16073606.2023.2247793","journal-title":"Quaestiones Mathematicae"},{"issue":"6","key":"9802_CR24","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1007\/s10485-020-09602-0","volume":"28","author":"MA Moshier","year":"2020","unstructured":"Moshier, M.A., Pultr, A., Suarez, A.L.: Exact and strongly exact filters. Appl. Categ. Struct. 28(6), 907\u2013920 (2020)","journal-title":"Appl. Categ. Struct."},{"issue":"8","key":"9802_CR25","doi-asserted-by":"publisher","first-page":"1111","DOI":"10.2989\/16073606.2017.1348399","volume":"40","author":"J Picado","year":"2017","unstructured":"Picado, J., Pultr, A.: A Boolean extension of a frame and a representation of discontinuity. Quaestiones Mathematicae 40(8), 1111\u20131125 (2017). https:\/\/doi.org\/10.2989\/16073606.2017.1348399","journal-title":"Quaestiones Mathematicae"},{"key":"9802_CR26","doi-asserted-by":"crossref","unstructured":"Picado, J., Pultr, A.: Notes on point-free topology. New Perspectives in Algebra, Topology and Categories: Summer School, Louvain-la-Neuve, Belgium, September 12\u201315, 2018 and September 11\u201314, 2019, pp. 173\u2013223 (2021)","DOI":"10.1007\/978-3-030-84319-9_6"},{"key":"9802_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53479-0","volume-title":"Separation in Point-free Topology","author":"J Picado","year":"2021","unstructured":"Picado, J., Pultr, A.: Separation in Point-free Topology. Birkh\u00e4user, Cham (2021)"},{"key":"9802_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-0154-6","volume-title":"Frames and Locales: Topology Without Points. Frontiers in Mathematics","author":"J Picado","year":"2012","unstructured":"Picado, J., Pultr, A.: Frames and Locales: Topology Without Points. Frontiers in Mathematics, vol. 28. Springer, Basel (2012). https:\/\/doi.org\/10.1007\/978-3-0348-0154-6"},{"key":"9802_CR29","first-page":"21","volume":"45","author":"J Picado","year":"2019","unstructured":"Picado, J., Pultr, A., Tozzi, A.: Joins of closed sublocales. Houst. J. Math. 45, 21\u201338 (2019)","journal-title":"Houst. J. Math."},{"key":"9802_CR30","first-page":"39","volume-title":"Orders: Description and Roles","author":"HA Priestley","year":"1984","unstructured":"Priestley, H.A.: Ordered sets and duality for distributive lattices. In: Pouzet, M., Richard, D. (eds.) Orders: Description and Roles, vol. 99, pp. 39\u201360. North-Holland Mathematics Studies, Amsterdam (1984)"},{"issue":"2","key":"9802_CR31","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2021.106851","volume":"226","author":"AL Suarez","year":"2022","unstructured":"Suarez, A.L.: On the relation between subspaces and sublocales. J. Pure Appl. Algebra 226(2), 106851 (2022)","journal-title":"J. Pure Appl. Algebra"},{"issue":"2","key":"9802_CR32","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1017\/S0305004196001636","volume":"122","author":"S Vickers","year":"1997","unstructured":"Vickers, S.: Constructive points of powerlocales. Math. Proc. Cambridge Philos. Soc. 122(2), 207\u2013222 (1997). https:\/\/doi.org\/10.1017\/S0305004196001636","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"9802_CR33","doi-asserted-by":"crossref","unstructured":"Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Ordered Sets (Banff, Alta., 1981). NATO Adv. Study Inst. Ser. C: Math. Phys. Sci., vol. 83, pp. 445\u2013470. Reidel, Dordrecht-Boston, Mass. (1982)","DOI":"10.1007\/978-94-009-7798-3_15"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-025-09802-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-025-09802-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-025-09802-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T11:43:07Z","timestamp":1745494987000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-025-09802-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,28]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,4]]}},"alternative-id":["9802"],"URL":"https:\/\/doi.org\/10.1007\/s10485-025-09802-6","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,2,28]]},"assertion":[{"value":"7 August 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 February 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 February 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"10"}}