{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T12:37:51Z","timestamp":1773232671691,"version":"3.50.1"},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,4,8]],"date-time":"2009-04-08T00:00:00Z","timestamp":1239148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1007\/s10485-009-9196-1","type":"journal-article","created":{"date-parts":[[2009,4,7]],"date-time":"2009-04-07T09:28:58Z","timestamp":1239096538000},"page":"505-510","source":"Crossref","is-referenced-by-count":3,"title":["A Note on Proper Maps of Locales"],"prefix":"10.1007","volume":"19","author":[{"given":"Wei","family":"He","sequence":"first","affiliation":[]},{"given":"MaoKang","family":"Luo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,4,8]]},"reference":[{"key":"9196_CR1","doi-asserted-by":"crossref","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, 79\u2013107 (1994)","journal-title":"J. Pure Appl. Algebra"},{"key":"9196_CR2","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/S0022-4049(99)00171-1","volume":"157","author":"JJC Vermeulen","year":"2001","unstructured":"Vermeulen, J.J.C.: A note on stably closed maps of locales. J. Pure Appl. Algebra 157, 335\u2013339 (2001)","journal-title":"J. Pure Appl. Algebra"},{"key":"9196_CR3","doi-asserted-by":"crossref","unstructured":"Moerdijk, I., Vermeulen, J.J.C.: Proper maps of toposes. Mem. Am. Math. Soc. 705 (2000)","DOI":"10.1090\/memo\/0705"},{"key":"9196_CR4","volume-title":"Stone Spaces","author":"PT Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)"},{"key":"9196_CR5","volume-title":"Sketches of an Elephent: A Topos Theory Compendium, vol. 2","author":"PT Johnstone","year":"2002","unstructured":"Johnstone, P.T.: Sketches of an Elephent: A Topos Theory Compendium, vol. 2. Oxford Science Publications, Oxford (2002)"},{"key":"9196_CR6","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1002\/mana.19901490107","volume":"149","author":"B Banaschewski","year":"1990","unstructured":"Banaschewski, B.: Compactification of frames. Math. Nachr. 149, 105\u2013116 (1990)","journal-title":"Math. Nachr."},{"key":"9196_CR7","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1023\/B:APCS.0000018250.65771.5e","volume":"12","author":"W He","year":"2004","unstructured":"He, W.: A constructive proof of the Gelfand-Kolmogorov theorem. Appl. Categ. Struct. 12, 197\u2013202 (2004)","journal-title":"Appl. Categ. Struct."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-009-9196-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-009-9196-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-009-9196-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:24:29Z","timestamp":1559139869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-009-9196-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,8]]},"references-count":7,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["9196"],"URL":"https:\/\/doi.org\/10.1007\/s10485-009-9196-1","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,4,8]]}}}