{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:07Z","timestamp":1740108187146,"version":"3.37.3"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T00:00:00Z","timestamp":1618963200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T00:00:00Z","timestamp":1618963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003500","name":"Universit\u00e0 degli Studi di Padova","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003500","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2021,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We characterize the category of Sambin\u2019s positive topologies as the result of the Grothendieck construction applied to a doctrine over the category <jats:bold>Loc<\/jats:bold> of locales. We then construct an adjunction between the category of positive topologies and that of topological spaces <jats:bold>Top<\/jats:bold>, and show that the well-known adjunction between <jats:bold>Top<\/jats:bold> and <jats:bold>Loc<\/jats:bold> factors through the constructed adjunction.<\/jats:p>","DOI":"10.1007\/s00153-021-00768-5","type":"journal-article","created":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T04:04:25Z","timestamp":1618977865000},"page":"967-979","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Factorizing the $$\\mathbf {Top}$$\u2013$$\\mathbf {Loc}$$ adjunction through positive topologies"],"prefix":"10.1007","volume":"60","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4957-4799","authenticated-orcid":false,"given":"Francesco","family":"Ciraulo","sequence":"first","affiliation":[]},{"given":"Tatsuji","family":"Kawai","sequence":"additional","affiliation":[]},{"given":"Samuele","family":"Maschio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,4,21]]},"reference":[{"key":"768_CR1","doi-asserted-by":"crossref","unstructured":"Aczel, P., Fox, C.: Separation properties in constructive topology. In: From Sets and Types to Topology and Analysis, volume 48 of Oxford Logic Guides, pp. 176\u2013192. Oxford University Press, Oxford (2005)","DOI":"10.1093\/acprof:oso\/9780198566519.003.0011"},{"issue":"1\u20133","key":"768_CR2","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.apal.2005.05.017","volume":"137","author":"G Battilotti","year":"2006","unstructured":"Battilotti, G., Sambin, G.: Pretopologies and a uniform presentation of sup-lattices, quantales and frames. Ann. Pure Appl. Logic 137(1\u20133), 30\u201361 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"key":"768_CR3","volume-title":"Handbook of Categorical Algebra 2 Volume 51 of Encyclopedia of Mathematics and its Applications","author":"F Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra 2 Volume 51 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (1994)"},{"issue":"1","key":"768_CR4","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1017\/S0960129500000876","volume":"6","author":"M Bunge","year":"1996","unstructured":"Bunge, M., Funk, J.: Constructive theory of the lower power locale. Math. Struct. Comput. Sci. 6(1), 69\u201383 (1996)","journal-title":"Math. Struct. Comput. Sci."},{"key":"768_CR5","doi-asserted-by":"crossref","unstructured":"Ciraulo, F., Maietti, M.E., Sambin, G.: Convergence in formal topology: a unifying notion. J. Log. Anal., 5, Paper 2, 45 (2013)","DOI":"10.4115\/jla.2013.5.2"},{"issue":"4","key":"768_CR6","doi-asserted-by":"publisher","first-page":"1308","DOI":"10.2178\/jsl.7704150","volume":"77","author":"F Ciraulo","year":"2012","unstructured":"Ciraulo, F., Sambin, G.: A constructive Galois connection between closure and interior. J. Symbol. Logic 77(4), 1308\u20131324 (2012)","journal-title":"J. Symbol. Logic"},{"issue":"7\u20138","key":"768_CR7","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1007\/s00153-017-0605-0","volume":"57","author":"F Ciraulo","year":"2018","unstructured":"Ciraulo, F., Sambin, G.: Embedding locales and formal topologies into positive topologies. Arch. Math. Logic 57(7\u20138), 755\u2013768 (2018)","journal-title":"Arch. Math. Logic"},{"issue":"9","key":"768_CR8","doi-asserted-by":"publisher","first-page":"806","DOI":"10.1016\/j.apal.2016.04.009","volume":"167","author":"F Ciraulo","year":"2016","unstructured":"Ciraulo, F., Vickers, S.: Positivity relations on a locale. Ann. Pure Appl. Logic 167(9), 806\u2013819 (2016)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"12","key":"768_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jpaa.2020.106445","volume":"224","author":"J Emmenegger","year":"2020","unstructured":"Emmenegger, J., Pasquali, F., Rosolini, G.: Elementary doctrines as coalgebras. J. Pure Appl. Algebra 224(12), 1\u201316 (2020)","journal-title":"J. Pure Appl. Algebra"},{"issue":"8","key":"768_CR10","doi-asserted-by":"publisher","first-page":"1626","DOI":"10.1017\/S0960129513000285","volume":"25","author":"H Ishihara","year":"2015","unstructured":"Ishihara, H., Kawai, T.: Completeness and cocompleteness of the categories of basic pairs and concrete spaces. Math. Struct. Comput. Sci. 25(8), 1626\u20131648 (2015)","journal-title":"Math. Struct. Comput. Sci."},{"key":"768_CR11","unstructured":"Jacobs, B.: Categorical Logic and Type Theory, volume 141 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam (1999)"},{"issue":"1\u20133","key":"768_CR12","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/BF01303275","volume":"31","author":"PT Johnstone","year":"1980","unstructured":"Johnstone, P.T.: Open maps of toposes. Manuscripta Math. 31(1\u20133), 217\u2013247 (1980)","journal-title":"Manuscripta Math."},{"key":"768_CR13","unstructured":"Johnstone, P.T.: Stone Spaces, volume\u00a03 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1982)"},{"key":"768_CR14","doi-asserted-by":"crossref","unstructured":"Johnstone, P.T.: Open locales and exponentiation. In: Mathematical Applications of Category Theory (Denver, Col., 1983), Volume\u00a030 of Contemp. Math., pp. 84\u2013116. Amer. Math. Soc., Providence, RI (1984)","DOI":"10.1090\/conm\/030\/749770"},{"issue":"309","key":"768_CR15","first-page":"vii+71","volume":"51","author":"A Joyal","year":"1984","unstructured":"Joyal, A., Tierney, M.: An extension of the Galois theory of Grothendieck. Mem. Amer. Math. Soc. 51(309), vii+71 (1984)","journal-title":"Mem. Amer. Math. Soc."},{"issue":"3\/4","key":"768_CR16","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1111\/j.1746-8361.1969.tb01194.x","volume":"23","author":"FW Lawvere","year":"1969","unstructured":"Lawvere, F.W.: Adjointness in foundations. Dialectica 23(3\/4), 281\u2013296 (1969)","journal-title":"Dialectica"},{"key":"768_CR17","unstructured":"Maietti, M.E., Rosolini, G.: Elementary quotient completion. Theory Appl. Categ., 27, Paper No. 17, 445\u2013463 (2012)"},{"issue":"3","key":"768_CR18","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/s11787-013-0080-2","volume":"7","author":"ME Maietti","year":"2013","unstructured":"Maietti, M.E., Rosolini, G.: Quotient completion for the foundation of constructive mathematics. Log. Univers. 7(3), 371\u2013402 (2013)","journal-title":"Log. Univers."},{"issue":"4","key":"768_CR19","doi-asserted-by":"publisher","first-page":"967","DOI":"10.2178\/jsl\/1102022209","volume":"69","author":"ME Maietti","year":"2004","unstructured":"Maietti, M.E., Valentini, S.: A structural investigation on formal topology: coreflection of formal covers and exponentiability. J. Symbol. Logic 69(4), 967\u20131005 (2004)","journal-title":"J. Symbol. Logic"},{"key":"768_CR20","doi-asserted-by":"crossref","unstructured":"Sambin, G.: Intuitionistic formal spaces\u2014a first communication. In: Mathematical logic and its applications (Druzhba, 1986), pp. 187\u2013204. Plenum, New York (1987)","DOI":"10.1007\/978-1-4613-0897-3_12"},{"key":"768_CR21","doi-asserted-by":"crossref","unstructured":"Sambin, G.: Some points in formal topology. Theoret. Comput. Sci., 305(1-3):347\u2013408, 2003. Topology in computer science (Schlo\u00dfDagstuhl, 2000)","DOI":"10.1016\/S0304-3975(02)00704-1"},{"key":"768_CR22","unstructured":"Sambin, G.: The Basic Picture and Positive Topology. New structures for Constructive Mathematics. Oxford University Press (to appear)"},{"issue":"15","key":"768_CR23","first-page":"284","volume":"7","author":"P Taylor","year":"2000","unstructured":"Taylor, P.: Geometric and higher order logic in terms of abstract Stone duality. Theory Appl. Categ. 7(15), 284\u2013338 (2000)","journal-title":"Theory Appl. Categ."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-021-00768-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-021-00768-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-021-00768-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,12]],"date-time":"2021-10-12T22:14:45Z","timestamp":1634076885000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-021-00768-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,21]]},"references-count":23,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2021,11]]}},"alternative-id":["768"],"URL":"https:\/\/doi.org\/10.1007\/s00153-021-00768-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2021,4,21]]},"assertion":[{"value":"20 December 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 April 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 April 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}