{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T00:39:30Z","timestamp":1767141570970,"version":"build-2238731810"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2023,7,21]],"date-time":"2023-07-21T00:00:00Z","timestamp":1689897600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,7,21]],"date-time":"2023-07-21T00:00:00Z","timestamp":1689897600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005727","name":"Universidade de Coimbra","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005727","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":[[2023,8]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    It is often useful to be able to deal with locales in terms of presentations of their underlying frames, or equivalently, the geometric theories which they classify. Given a presentation for a locale, presentations for its sublocales can be obtained by simply appending additional relations, but the case of quotient locales is more subtle. We provide simple procedures for obtaining presentations of open quotients, proper quotients or general triquotients from presentations of the parent locale. The results are proved with the help of the suplattice, preframe and dcpo coverage theorems and applied to obtain presentations of the circle from ones for\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\mathbb {R}$$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mi>R<\/mml:mi>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    and [0,\u00a01].\n                  <\/jats:p>","DOI":"10.1007\/s10485-023-09736-x","type":"journal-article","created":{"date-parts":[[2023,7,21]],"date-time":"2023-07-21T14:02:36Z","timestamp":1689948156000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Presenting Quotient Locales"],"prefix":"10.1007","volume":"31","author":[{"given":"Graham","family":"Manuell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,7,21]]},"reference":[{"issue":"2","key":"9736_CR1","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1017\/S0960129500000189","volume":"3","author":"S Abramsky","year":"1993","unstructured":"Abramsky, S., Vickers, S.: Quantales, observational logic and process semantics. Math. Struct. Comput. Sci. 3(2), 161\u2013227 (1993)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"3","key":"9736_CR2","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1016\/j.apal.2012.11.001","volume":"164","author":"M de Brecht","year":"2013","unstructured":"de Brecht, M.: Quasi-Polish spaces. Ann. Pure Appl. Logic 164(3), 356\u2013381 (2013)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"3","key":"9736_CR3","doi-asserted-by":"publisher","first-page":"976","DOI":"10.1016\/j.jpaa.2015.08.004","volume":"220","author":"J Guti\u00e9rrez Garc\u00eda","year":"2016","unstructured":"Guti\u00e9rrez Garc\u00eda, J., Mozo Carollo, I., Picado, J.: Presenting the frame of the unit circle. J. Pure Appl. Algebra 220(3), 976\u20131001 (2016)","journal-title":"J. Pure Appl. Algebra"},{"issue":"7","key":"9736_CR4","doi-asserted-by":"publisher","first-page":"1607","DOI":"10.1017\/S0960129513000418","volume":"25","author":"R Heckmann","year":"2015","unstructured":"Heckmann, R.: Spatiality of countably presentable locales (proved with the Baire category theorem). Math. Struct. Comput. Sci. 25(7), 1607\u20131625 (2015)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9736_CR5","doi-asserted-by":"crossref","unstructured":"Johnstone, P., Vickers, S.: Preframe presentations present. In: Carboni, A., Pedicchio, M.C., Rosolini, G. (eds). Category Theory: Proceedings of the International Conference held in Como, volume 1488 of Lecture Notes in Mathematics, pp. 193\u2013212, Berlin (1991). Springer","DOI":"10.1007\/BFb0084221"},{"issue":"3","key":"9736_CR6","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1017\/S0305004100077835","volume":"105","author":"A Kock","year":"1989","unstructured":"Kock, A.: A Godement theorem for locales. Math. Proc. Cambridge Philos. Soc. 105(3), 463\u2013471 (1989)","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"issue":"2","key":"9736_CR7","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1016\/j.jpaa.2006.03.003","volume":"208","author":"M Korostenski","year":"2007","unstructured":"Korostenski, M., Labuschagne, C.C.A.: Lax proper maps of locales. J. Pure Appl. Algebra 208(2), 655\u2013664 (2007)","journal-title":"J. Pure Appl. Algebra"},{"issue":"1","key":"9736_CR8","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1017\/S0305004196001648","volume":"122","author":"T Plewe","year":"1997","unstructured":"Plewe, T.: Localic triquotient maps are effective descent maps. Math. Proc. Cambridge Philos. Soc. 122(1), 17\u201343 (1997)","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"issue":"3","key":"9736_CR9","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1017\/S0305004105008844","volume":"139","author":"CF Townsend","year":"2005","unstructured":"Townsend, C.F.: A categorical account of the Hofmann-Mislove theorem. Math. Proc. Cambridge Philos. Soc. 139(3), 441\u2013456 (2005)","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"issue":"1","key":"9736_CR10","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0022-4049(94)90047-7","volume":"92","author":"JJC Vermeulen","year":"1994","unstructured":"Vermeulen, J.J.C.: Proper maps of locales. J. Pure Appl. Algebra 92(1), 79\u2013107 (1994)","journal-title":"J. Pure Appl. Algebra"},{"key":"9736_CR11","unstructured":"Vickers, S.: Locales are not pointless. In: Hankin, C., Mackie, I., Nagarajan, R. (eds). Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop, pp. 199\u2013216, London (1995). Imperial College Press"},{"issue":"2","key":"9736_CR12","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)","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"issue":"13","key":"9736_CR13","first-page":"372","volume":"12","author":"S Vickers","year":"2004","unstructured":"Vickers, S.: The double powerlocale and exponentiation: a case study in geometric logic. Theory Appl. Categ. 12(13), 372\u2013422 (2004)","journal-title":"Theory Appl. Categ."},{"issue":"1\u20133","key":"9736_CR14","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.tcs.2004.01.034","volume":"316","author":"SJ Vickers","year":"2004","unstructured":"Vickers, S.J., Townsend, C.F.: A universal characterization of the double powerlocale. Theoret. Comput. Sci. 316(1\u20133), 297\u2013321 (2004)","journal-title":"Theoret. Comput. Sci."}],"updated-by":[{"DOI":"10.1007\/s10485-023-09745-w","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2023,9,7]],"date-time":"2023-09-07T00:00:00Z","timestamp":1694044800000}}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-023-09736-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-023-09736-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-023-09736-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,8]],"date-time":"2023-09-08T02:07:30Z","timestamp":1694138850000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-023-09736-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,21]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,8]]}},"alternative-id":["9736"],"URL":"https:\/\/doi.org\/10.1007\/s10485-023-09736-x","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,7,21]]},"assertion":[{"value":"18 March 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 June 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 July 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 September 2023","order":4,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":5,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"A Correction to this paper has been published:","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"https:\/\/doi.org\/10.1007\/s10485-023-09745-w","URL":"https:\/\/doi.org\/10.1007\/s10485-023-09745-w","order":7,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"I declare that I have have no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"28"}}