{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:20:41Z","timestamp":1740122441740,"version":"3.37.3"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:00:00Z","timestamp":1605744000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:00:00Z","timestamp":1605744000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100007474","name":"Centro de Matem\u00e1tica, Universidade de Coimbra","doi-asserted-by":"publisher","award":["UIDB\/00324\/2020"],"award-info":[{"award-number":["UIDB\/00324\/2020"]}],"id":[{"id":"10.13039\/501100007474","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007397","name":"Univerzita Karlova v Praze","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100007397","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2021,4]]},"DOI":"10.1007\/s10485-020-09616-8","type":"journal-article","created":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:32:40Z","timestamp":1605763960000},"page":"267-283","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On Equalizers in the Category of Locales"],"prefix":"10.1007","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7837-1221","authenticated-orcid":false,"given":"Jorge","family":"Picado","sequence":"first","affiliation":[]},{"given":"Ale\u0161","family":"Pultr","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,11,19]]},"reference":[{"key":"9616_CR1","first-page":"1","volume":"17","author":"J Ad\u00e1mek","year":"2006","unstructured":"Ad\u00e1mek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories: the joy of cats. Reprints. Theory Appl. Categ. 17, 1\u2013507 (2006)","journal-title":"Reprints. Theory Appl. Categ."},{"key":"9616_CR2","first-page":"13","volume":"31","author":"B Banaschewski","year":"1990","unstructured":"Banaschewski, B.: On pushing out frames. Comment. Math. Univ. Carolin. 31, 13\u201321 (1990)","journal-title":"Comment. Math. Univ. Carolin."},{"key":"9616_CR3","unstructured":"Clementino, M.M.: Separa\u00e7\u00e3o e compacidade em categorias. Ph.D. Thesis, Universidade de Coimbra (1991)"},{"key":"9616_CR4","unstructured":"Clementino, M.M., Giuli, E., Tholen, W.: A functional approach to general topology. In: Categorical Foundations, Encyclopedia Mathematics Applications, vol. 97, pp. 103\u2013163. Cambridge University Press, Cambridge (2004)"},{"key":"9616_CR5","first-page":"892","volume":"26","author":"MM Clementino","year":"2018","unstructured":"Clementino, M.M., Picado, J., Pultr, A.: The other closure and complete sublocales. Appl. Categ. Struct. 26, 892\u2013906 (2018). (corr. 907\u2013908)","journal-title":"Appl. Categ. Struct."},{"key":"9616_CR6","doi-asserted-by":"crossref","unstructured":"Dowker, C.H., Strauss, D.: $$T_1$$- and$$T_2$$-axioms for frames. In: Aspects of Topology, London Mathematical Society. Lecture Note Series, vol. 93, pp. 325\u2013335. Cambridge University Press, Cambridge (1985)","DOI":"10.1017\/CBO9781107359925.018"},{"key":"9616_CR7","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1090\/S0002-9947-1978-0515540-7","volume":"246","author":"KH Hofmann","year":"1978","unstructured":"Hofmann, K.H., Lawson, J.D.: The spectral theory of distributive continuous lattices. Trans. Am. Math. Soc. 246, 285\u2013310 (1978)","journal-title":"Trans. Am. Math. Soc."},{"key":"9616_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.7146\/math.scand.a-11409","volume":"31","author":"JR Isbell","year":"1972","unstructured":"Isbell, J.R.: Atomless parts of spaces. Math. Scand. 31, 5\u201332 (1972)","journal-title":"Math. Scand."},{"key":"9616_CR9","doi-asserted-by":"publisher","first-page":"317","DOI":"10.7146\/math.scand.a-11581","volume":"36","author":"JR Isbell","year":"1975","unstructured":"Isbell, J.R.: Function spaces and adjoints. Math. Scand. 36, 317\u2013339 (1975)","journal-title":"Math. Scand."},{"key":"9616_CR10","volume-title":"Stone Spaces","author":"PT Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)"},{"key":"9616_CR11","series-title":"Memoirs of the American Mathematical Society","volume-title":"An extension of the Galois Theory of Grothendieck","author":"A Joyal","year":"1984","unstructured":"Joyal, A., Tierney, M.: An extension of the Galois Theory of Grothendieck. Memoirs of the American Mathematical Society, vol. 309. AMS, Providence, RI (1984)"},{"key":"9616_CR12","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)"},{"key":"9616_CR13","doi-asserted-by":"publisher","first-page":"23","DOI":"10.4064\/cm-43-1-23-39","volume":"43","author":"H Simmons","year":"1980","unstructured":"Simmons, H.: Spaces with Boolean assemblies. Colloq. Math. 43, 23\u201329 (1980)","journal-title":"Colloq. Math."},{"key":"9616_CR14","volume-title":"Preframe Techniques in Constructive Locale Theory","author":"C Townsend","year":"1996","unstructured":"Townsend, C.: Preframe Techniques in Constructive Locale Theory. Ph.D. Thesis, Department of Computing, Imperial College, London (1996)"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-020-09616-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-020-09616-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-020-09616-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,10]],"date-time":"2021-03-10T06:03:52Z","timestamp":1615356232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-020-09616-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,19]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,4]]}},"alternative-id":["9616"],"URL":"https:\/\/doi.org\/10.1007\/s10485-020-09616-8","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2020,11,19]]},"assertion":[{"value":"29 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 October 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 November 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}