{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T11:10:04Z","timestamp":1709464204338},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,11,25]],"date-time":"2008-11-25T00:00:00Z","timestamp":1227571200000},"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,2]]},"DOI":"10.1007\/s10485-008-9177-9","type":"journal-article","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T15:00:42Z","timestamp":1227711642000},"page":"61-92","source":"Crossref","is-referenced-by-count":0,"title":["The Patch Construction is Dual to Algebraic DCPO Representation"],"prefix":"10.1007","volume":"19","author":[{"given":"C. F.","family":"Townsend","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,11,25]]},"reference":[{"issue":"7","key":"9177_CR1","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1017\/S0305004100065208","volume":"104","author":"B. Banaschewski","year":"1988","unstructured":"Banaschewski, B., Br\u00fcmmer, G.C.L.: Stably continuous frames. Math. Proc. Cambridge Philos. Soc. 104(7), 7\u201319 (1988)","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"9177_CR2","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1090\/S0002-9947-1948-0027263-2","volume":"87","author":"G. Birkhoff","year":"1948","unstructured":"Birkhoff, G., Fink, O.: Representations of lattices by sets. Trans. Amer. Math. Soc. 87, 299\u2013316 (1948)","journal-title":"Trans. Amer. Math. Soc."},{"key":"9177_CR3","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/S0166-8641(97)00225-3","volume":"89","author":"M. Escard\u00f3","year":"1984","unstructured":"Escard\u00f3, M.: Properly injective spaces and function spaces. Topology Appl. 89, 75\u2013120 (1984)","journal-title":"Topology Appl."},{"key":"9177_CR4","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/S0022-4049(99)00172-3","volume":"157","author":"M. Escard\u00f3","year":"2001","unstructured":"Escard\u00f3, M.: The regular-locally-compact coreflection of a stably locally compact locale. J. Pure Appl. Algebra 157, 41\u201355 (2001)","journal-title":"J. Pure Appl. Algebra"},{"key":"9177_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-67678-9","volume-title":"A Compendium of Continuous Lattices","author":"G.K. Gierz","year":"1980","unstructured":"Gierz, G.K., Hofmann, K.H., Keimel, J., Lawson, J.D., Mislove, M., Scott, D.: A Compendium of Continuous Lattices. Springer, Berlin (1980)"},{"key":"9177_CR6","first-page":"57","volume-title":"Continuous Lattices and their Applications. Proceedings of the Third Conference on Categorical and Topological Aspects of Continuous Lattices (Bremen 1982). Lecture Notes in Pure and Applied Mathematics, vol. 101","author":"R.-E. Hoffmann","year":"1985","unstructured":"Hoffmann, R.-E.: The fell compactification revisited. In: Hoffmann, R.-E., Hofmann, K.H. (eds.) Continuous Lattices and their Applications. Proceedings of the Third Conference on Categorical and Topological Aspects of Continuous Lattices (Bremen 1982). Lecture Notes in Pure and Applied Mathematics, vol. 101, pp. 57\u2013116. Marcel-Dekker, New York (1985)"},{"key":"9177_CR7","first-page":"282","volume-title":"Categorical Topology. Proceedings of the 1983 Conference in Toledo. Sigma Series in Pure and Applied Mathematics, vol. 5","author":"K.H. Hofmann","year":"1984","unstructured":"Hofmann, K.H.: Stably continuous frames and their topological manifestations. In: Bentley, H.L., Herrlich, H., Rajagopalan, M., Wolff, H. (eds.) Categorical Topology. Proceedings of the 1983 Conference in Toledo. Sigma Series in Pure and Applied Mathematics, vol. 5, pp. 282\u2013307. Heldermann, Berlin (1984)"},{"key":"9177_CR8","volume-title":"Cambridge Studies in Advanced Mathematics, vol. 3","author":"P.T. Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone spaces. In: Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge University Press, Cambridge (1982)"},{"key":"9177_CR9","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198515982.001.0001","volume-title":"Sketches of an Elephant: A Topos Theory Compendium, vols. 1, 2. Oxford Logic Guides 43, 44","author":"P.T. Johnstone","year":"2002","unstructured":"Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium, vols. 1, 2. Oxford Logic Guides 43, 44. Oxford Science Publications, Oxford (2002)"},{"key":"9177_CR10","first-page":"193","volume-title":"Category Theory\u2014Proceedings, Como, 1990. Lecture Notes in Mathematics, vol. 1488","author":"P.T. Johnstone","year":"1991","unstructured":"Johnstone, P.T., Vickers, S.J.: Preframe presentations present. In: Carboni, A., Pedicchio, M.C., Rosolini, G. (eds.) Category Theory\u2014Proceedings, Como, 1990. Lecture Notes in Mathematics, vol. 1488, pp. 193\u2013212. Springer, New York (1991)"},{"key":"9177_CR11","first-page":"1","volume":"309","author":"A. Joyal","year":"1984","unstructured":"Joyal, A., Tierney, M.: An extension of the Galois theory of Grothendieck. Mem. Amer. Math. Soc. 309, 1\u2013155 (1984)","journal-title":"Mem. Amer. Math. Soc."},{"key":"9177_CR12","first-page":"214","volume-title":"Papers on General Topology and Applications: Eleventh Summer Conference at the University of Southern Maine, vol. 806","author":"A. Jung","year":"1996","unstructured":"Jung, A., S\u00fcmderhauf, Ph.: On the duality of compact vs. open. In: Andima, S., Flagg, R.C., Itzkowitz, G., Misra, P., Kong, Y., Kopperman, R. (eds.) Papers on General Topology and Applications: Eleventh Summer Conference at the University of Southern Maine, vol. 806, pp. 214\u2013230. Annals of the New York Academy of Sciences. New York Academy of Sciences, New York (1996)"},{"key":"9177_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1571-0661(04)80952-6","volume":"45","author":"A. Jung","year":"2001","unstructured":"Jung, A., Kegelmann, M., Moshier, A.: Stably compact spaces and closed relations. Electron. Notes Theor. Comput. Sci. 45, 1\u201323 (2001)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"3","key":"9177_CR14","first-page":"227","volume":"38","author":"P. Karazeris","year":"1997","unstructured":"Karazeris, P.: Compact topologies on locally presentable categories. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 38(3), 227\u2013255 (1997)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"key":"9177_CR15","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1017\/S0305004100066597","volume":"101","author":"H.P.A. K\u00fcnzi","year":"1987","unstructured":"K\u00fcnzi, H.P.A., Br\u00fcmmer, G.C.L.: Sobrification and bicompletion of totally bounded quasi-uniform spaces. Math. Proc. Cambridge Philos. 101, 237\u2013246 (1987)","journal-title":"Math. Proc. Cambridge Philos."},{"key":"9177_CR16","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1090\/S0002-9939-1980-0556616-2","volume":"78","author":"J.D. Lawson","year":"1979","unstructured":"Lawson, J.D.: The duality of continuous posets. Proc. Amer. Math. Soc. 78, 477\u201381 (1979)","journal-title":"Proc. Amer. Math. Soc."},{"key":"9177_CR17","unstructured":"Manes, E.G.: A triple miscellany: some aspects of the theory of algebras over a triple. Ph.D. Thesis, Wesleyan University (1967)"},{"key":"9177_CR18","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BFb0083083","volume-title":"Seminar on Triples and Categorical Homology Theory. Lecture Note Mathematics, vol. 80","author":"E.G. Manes","year":"1969","unstructured":"Manes, E.G.: A triple theoretic construction of compact algebras. In: Seminar on Triples and Categorical Homology Theory. Lecture Note Mathematics, vol. 80, pp. 91\u2013118. Springer, New York (1969)"},{"key":"9177_CR19","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"H. Priestley","year":"1970","unstructured":"Priestley, H.: Representation of distributive lattices by means of ordered stone spaces. Bull. London Math. Soc. 2, 186\u201390 (1970)","journal-title":"Bull. London Math. Soc."},{"key":"9177_CR20","volume-title":"Real and Complex Analysis","author":"W. Rudin","year":"1966","unstructured":"Rudin, W.: Real and Complex Analysis 3rd Edition. McGraw-Hill, New York (1966)","edition":"3"},{"key":"9177_CR21","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1007\/BFb0012801","volume":"144","author":"D. Scott","year":"1982","unstructured":"Scott, D.: Domains for denotational semantics. Lecture Notes in Comput. Sci., Springer 144, 577\u2013613 (1982)","journal-title":"Lecture Notes in Comput. Sci., Springer"},{"key":"9177_CR22","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1112\/jlms\/s2-45.2.321","volume":"45","author":"M.B. Smyth","year":"1992","unstructured":"Smyth, M.B.: Stable compactification I. J. London Math. Soc. 45, 321\u2013340 (1992)","journal-title":"J. London Math. Soc."},{"key":"9177_CR23","first-page":"1","volume":"67","author":"M. Stone","year":"1937","unstructured":"Stone, M.: Topological representation of distributive lattices and Brouwerian logics. \u010casopis Pe\u0161t. Mat. Fys. 67, 1\u201325 (1937)","journal-title":"\u010casopis Pe\u0161t. Mat. Fys."},{"issue":"15","key":"9177_CR24","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."},{"key":"9177_CR25","unstructured":"Townsend, C.F.: Preframe techniques in constructive locale theory. Ph.D. thesis, Imperial College, London (1996)"},{"key":"9177_CR26","unstructured":"Townsend, C.F.: An axiomatic account of weak localic triquotient assignments (2003, submitted)"},{"key":"9177_CR27","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1017\/S0305004105008844","volume":"139","author":"C.F. Townsend","year":"2005","unstructured":"Townsend, C.F.: A categorical account of the Hofmann-Mislove theorem. Math. Proc. Cambridge Philos. Soc. 139, 441\u2013456 (2005)","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"9177_CR28","doi-asserted-by":"crossref","unstructured":"Townsend, C.F.: On the parallel between the suplattice and preframe approaches to locale theory. Ann. Pure Appl. Logic 137, 391\u2013412 (2006) (Proceedings of the Second Workshop in Formal Topology, Venice 2002, Special issue)","DOI":"10.1016\/j.apal.2005.05.027"},{"key":"9177_CR29","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BFb0084234","volume":"1488","author":"J.J.C. Vermeulen","year":"1991","unstructured":"Vermeulen, J.J.C.: Some constructive results related to compactness and the (strong) Hausdorff property for locales. Lecture Notes in Math., Springer 1488, 401\u2013409 (1991)","journal-title":"Lecture Notes in Math., Springer"},{"key":"9177_CR30","volume-title":"Topology Via Logic","author":"S.J. Vickers","year":"1989","unstructured":"Vickers, S.J.: Topology Via Logic. Cambridge University Press, Cambridge (1989)"},{"key":"9177_CR31","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0304-3975(93)90072-2","volume":"114","author":"S.J. Vickers","year":"1993","unstructured":"Vickers, S.J.: Information systems for continuous posets. Theoret. Comput. Sci. 114, 201\u2013229 (1993)","journal-title":"Theoret. Comput. Sci."},{"key":"9177_CR32","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1017\/S0305004196001636","volume":"122","author":"S.J. Vickers","year":"1997","unstructured":"Vickers, S.J.: Constructive points of powerlocales. Math. Proc. Cambridge Philos. Soc. 122, 207\u2013222 (1997)","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"9177_CR33","first-page":"618","volume-title":"Category Theory. Proc. Conference Toledo, Ohio 1983. Sigma Series in Pure Math, vol. 3","author":"O. Wyler","year":"1984","unstructured":"Wyler, O.: Compact ordered spaces and prime Wallman compactifcations. In: Category Theory. Proc. Conference Toledo, Ohio 1983. Sigma Series in Pure Math, vol. 3, pp. 618\u2013635. Sigma, Wilmslow (1984)"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-008-9177-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-008-9177-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-008-9177-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T10:56:54Z","timestamp":1709463414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-008-9177-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,25]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["9177"],"URL":"https:\/\/doi.org\/10.1007\/s10485-008-9177-9","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11,25]]}}}