{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T15:23:54Z","timestamp":1759073034590},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2012,1,13]],"date-time":"2012-01-13T00:00:00Z","timestamp":1326412800000},"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":[[2013,12]]},"DOI":"10.1007\/s10485-011-9274-z","type":"journal-article","created":{"date-parts":[[2012,1,16]],"date-time":"2012-01-16T12:22:05Z","timestamp":1326716525000},"page":"617-650","source":"Crossref","is-referenced-by-count":20,"title":["Approaching Metric Domains"],"prefix":"10.1007","volume":"21","author":[{"given":"Gon\u00e7alo","family":"Gutierres","sequence":"first","affiliation":[]},{"given":"Dirk","family":"Hofmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,1,13]]},"reference":[{"issue":"16","key":"9274_CR1","doi-asserted-by":"crossref","first-page":"3059","DOI":"10.1016\/j.topol.2006.05.003","volume":"153","author":"B Banaschewski","year":"2006","unstructured":"Banaschewski, B., Lowen, R., Van Olmen, C.: Sober approach spaces. Topology Appl. 153(16), 3059\u20133070 (2006)","journal-title":"Topology Appl."},{"key":"9274_CR2","unstructured":"B\u00e9nabou, J.: Distributors at work. Lecture notes by Thomas Streicher, http:\/\/www.mathematik.tu-darmstadt.de\/~streicher\/ (2000)"},{"issue":"1\u20132","key":"9274_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)00042-X","volume":"193","author":"MM Bonsangue","year":"1998","unstructured":"Bonsangue, M.M., van Breugel, F., Rutten, J.J. M.M.: Generalized metric spaces: completion, topology, and powerdomains via the Yoneda embedding. Theor. Comput. Sci. 193(1\u20132), 1\u201351 (1998)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"9274_CR4","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1023\/A:1024274315778","volume":"11","author":"MM Clementino","year":"2003","unstructured":"Clementino, M.M., Hofmann, D.: Topological features of lax algebras. Appl. Categ. Struct. 11(3), 267\u2013286 (2003)","journal-title":"Appl. Categ. Struct."},{"key":"9274_CR5","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/s10485-008-9152-5","volume":"17","author":"MM Clementino","year":"2009","unstructured":"Clementino, M.M., Hofmann, D.: Lawvere completeness in topology. Appl. Categ. Struct. 17:175\u2013210. arXiv:math.CT\/0704.3976 (2009)","journal-title":"Appl. Categ. Struct."},{"issue":"12","key":"9274_CR6","first-page":"210","volume":"21","author":"MM Clementino","year":"2009","unstructured":"Clementino, M.M., Hofmann, D.: Relative injectivity as cocompleteness for a class of distributors. Theor. Appl. Categ. 21(12), 210\u2013230. arXiv:math.CT\/0807.4123 (2009)","journal-title":"Theor. Appl. Categ."},{"key":"9274_CR7","doi-asserted-by":"crossref","first-page":"50","DOI":"10.4153\/CJM-1975-008-8","volume":"27","author":"A Day","year":"1975","unstructured":"Day, A.: Filter monads, continuous lattices and closure systems. Can. J. Math. 27, 50\u201359 (1975)","journal-title":"Can. J. Math."},{"key":"9274_CR8","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/978-3-642-99902-4_22","volume-title":"Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965)","author":"S Eilenberg","year":"1966","unstructured":"Eilenberg, S., Kelly, G.M.: Closed categories. In: Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965), pp. 421\u2013562. Springer, New York (1966)"},{"key":"9274_CR9","unstructured":"Escard\u00f3, M.H.: Injective spaces via the filter monad. In: Proceedings of the 12th Summer Conference on General Topology and its Applications (North Bay, ON, 1997), vol.\u00a022, pp. 97\u2013100 (1997)"},{"key":"9274_CR10","first-page":"21","volume":"87","author":"MH Escard\u00f3","year":"2004","unstructured":"Escard\u00f3, M.H.: Synthetic topology of data types and classical spaces. ENTCS 87, 21\u2013156 (2004)","journal-title":"ENTCS"},{"key":"9274_CR11","doi-asserted-by":"crossref","unstructured":"Escard\u00f3, M.H., Flagg, R.: Semantic domains, injective spaces and monads. In: Brookes, S. et al. (eds.) Mathematical Foundations of Programming Semantics. Proceedings of the 15th Conference, Tulane Univ., New Orleans, LA, 28 April\u20131 May 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 20, electronic paper No.\u00a015 (1999)","DOI":"10.1016\/S1571-0661(04)80077-X"},{"key":"9274_CR12","unstructured":"Flagg, R.C.: Completeness in continuity spaces. In: Seely, R.A.G. (ed.) Category Theory 1991. Proceedings of an International Summer Category Theory Meeting, held in Montr\u00e9al, Qu\u00e9bec, Canada, 23\u201330 June 1991, CMS Conf. Proc., vol. 13, pp. 183\u2013199. American Mathematical Society, Providence, RI (1992)"},{"issue":"3","key":"9274_CR13","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0166-8641(96)00117-4","volume":"77","author":"RC Flagg","year":"1997","unstructured":"Flagg, R.C.: Algebraic theories of compact pospaces. Topology Appl. 77(3), 277\u2013290 (1997)","journal-title":"Topology Appl."},{"issue":"3","key":"9274_CR14","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/s000120050018","volume":"37","author":"RC Flagg","year":"1997","unstructured":"Flagg, R.C.: Quantales and continuity spaces. Algebra Univers. 37(3), 257\u2013276 (1997)","journal-title":"Algebra Univers."},{"issue":"1","key":"9274_CR15","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0304-3975(97)00236-3","volume":"177","author":"RC Flagg","year":"1997","unstructured":"Flagg, R.C., Kopperman, R.: Continuity spaces: reconciling domains and metric spaces. Mathematical foundations of programming semantics (Manhattan, KS, 1994). Theoret. Comput. Sci. 177(1), 111\u2013138 (1997)","journal-title":"Theoret. Comput. Sci."},{"key":"9274_CR16","unstructured":"Flagg, R.C., S\u00fcnderhauf, P., Wagner, K.: A logical approach to quantitative domain theory. Topology Atlas Preprint # 23, http:\/\/at.yorku.ca\/e\/a\/p\/p\/23.htm (1996)"},{"key":"9274_CR17","series-title":"Encyclopedia of Mathematics and its Applications","doi-asserted-by":"crossref","first-page":"xxxvi+591","DOI":"10.1017\/CBO9780511542725","volume-title":"Continuous Lattices and Domains","author":"G Gierz","year":"2003","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W., Scott, D.S.: Continuous Lattices and Domains, volume\u00a093 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, xxxvi+591 pp. (2003)"},{"key":"9274_CR18","first-page":"21","volume-title":"Category Theory at Work (Bremen, 1990), vol.\u00a018 of Res. Exp. Math.","author":"H Herrlich","year":"1991","unstructured":"Herrlich, H., Lowen-Colebunders, E., Schwarz, F.: Improving top: PrTop and PsTop. In: Category Theory at Work (Bremen, 1990), vol.\u00a018 of Res. Exp. Math., pp. 21\u201334. Heldermann, Berlin (1991)"},{"issue":"2","key":"9274_CR19","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1016\/j.aim.2007.04.013","volume":"215","author":"D Hofmann","year":"2007","unstructured":"Hofmann, D.: Topological theories and closed objects. Adv. Math. 215(2), 789\u2013824 (2007)","journal-title":"Adv. Math."},{"key":"9274_CR20","unstructured":"Hofmann, D.: Duality for distributive spaces. Technical report, arXiv:math.CT\/1009.3892 (2010)"},{"issue":"3","key":"9274_CR21","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/j.jpaa.2010.04.021","volume":"215","author":"D Hofmann","year":"2011","unstructured":"Hofmann, D.: Injective spaces via adjunction. J. Pure Appl. Algebra 215(3), 283\u2013302 (2011). arXiv:math.CT\/0804.0326","journal-title":"J. Pure Appl. Algebra"},{"issue":"3","key":"9274_CR22","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/s10485-008-9169-9","volume":"18","author":"D Hofmann","year":"2010","unstructured":"Hofmann, D., Tholen, W.: Lawvere completion and separation via closure. Appl. Categ. Struct. 18(3), 259\u2013287, arXiv:math.CT\/0801.0199 (2010)","journal-title":"Appl. Categ. Struct."},{"issue":"8","key":"9274_CR23","doi-asserted-by":"crossref","first-page":"963","DOI":"10.1016\/j.topol.2011.02.003","volume":"158","author":"D Hofmann","year":"2011","unstructured":"Hofmann, D., Waszkiewicz, P.: Approximation in quantale-enriched categories. Topology Appl. 158(8), 963\u2013977. arXiv:math.CT\/1004.2228 (2011)","journal-title":"Topology Appl."},{"key":"9274_CR24","series-title":"Cambridge Studies in Advanced Mathematics","first-page":"xxi+370","volume-title":"Stone Spaces","author":"PT Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone Spaces, volume\u00a03 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, xxi+370 pp. (1982)"},{"key":"9274_CR25","doi-asserted-by":"crossref","unstructured":"Jung, A.: Stably compact spaces and the probabilistic powerspace construction. In: Desharnais, J., Panangaden, P. (eds.) Domain-theoretic Methods in Probabilistic Processes, vol.\u00a087, 15 pp. (2004)","DOI":"10.1016\/j.entcs.2004.10.001"},{"key":"9274_CR26","unstructured":"Kelly, G.M.: Basic Concepts of Enriched Category Theory, volume\u00a064 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 245 pp. (1982) [also in: Repr. Theory Appl. Categ. 10, 1\u2013136 (2005)]"},{"issue":"17","key":"9274_CR27","first-page":"399","volume":"14","author":"GM Kelly","year":"2005","unstructured":"Kelly, G.M., Schmitt, V.: Notes on enriched categories with colimits of some class. Theory Appl. Categ. 14(17), 399\u2013423 (2005)","journal-title":"Theory Appl. Categ."},{"issue":"1","key":"9274_CR28","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0022-4049(94)00111-U","volume":"104","author":"A Kock","year":"1995","unstructured":"Kock, A.: Monads for which structures are adjoint to units. J. Pure Appl. Algebra 104(1), 41\u201359 (1995)","journal-title":"J. Pure Appl. Algebra"},{"issue":"2","key":"9274_CR29","doi-asserted-by":"crossref","first-page":"89","DOI":"10.2307\/2323060","volume":"95","author":"R Kopperman","year":"1988","unstructured":"Kopperman, R.: All topologies come from generalized metrics. Am. Math. Mon. 95(2), 89\u201397 (1988)","journal-title":"Am. Math. Mon."},{"issue":"1","key":"9274_CR30","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1017\/S0960129510000447","volume":"21","author":"M Kostanek","year":"2011","unstructured":"Kostanek, M., Waszkiewicz, P.: The formal ball model for $\\mathcal{Q}$ -categories. Math. Struct. Comput. Sci. 21(1), 41\u201364 (2011)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9274_CR31","unstructured":"Lawvere, F.W.: Metric spaces, generalized logic, and closed categories. Rend. Semin. Mat. Fis. Milano 43, 135\u2013166 (1973) [also in: Repr. Theory Appl. Categ. 1, 1\u201337 (2002)]"},{"issue":"3","key":"9274_CR32","first-page":"213","volume":"30","author":"E Lowen","year":"1989","unstructured":"Lowen, E., Lowen, R.: Topological quasitopos hulls of categories containing topological and metric objects. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 30(3), 213\u2013228 (1989)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"key":"9274_CR33","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1002\/mana.19891410120","volume":"141","author":"R Lowen","year":"1989","unstructured":"Lowen, R.: Approach spaces: a common supercategory of TOP and MET. Math. Nachr. 141, 183\u2013226 (1989)","journal-title":"Math. Nachr."},{"key":"9274_CR34","doi-asserted-by":"crossref","unstructured":"Lowen, R.: Approach Spaces. Oxford Mathematical Monographs, The Clarendon Press Oxford University Press, New York, x+253 pp., the Missing Link in the Topology-uniformity-metric Triad, Oxford Science Publications (1997)","DOI":"10.1093\/oso\/9780198500308.001.0001"},{"key":"9274_CR35","doi-asserted-by":"crossref","unstructured":"MacLane, S.: Categories for the Working Mathematician. Springer-Verlag, New York, Graduate Texts in Mathematics, vol. 5, ix+262 pp. (1971)","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"9274_CR36","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BFb0083083","volume":"80","author":"EG Manes","year":"1969","unstructured":"Manes, E.G.: A triple theoretic construction of compact algebras. Sem. on triples and categorical homology theory, ETH Z\u00fcrich 1966\/67. Lect. Notes Math. 80, 91\u2013118 (1969)","journal-title":"Lect. Notes Math."},{"key":"9274_CR37","unstructured":"Nachbin, L.: Topologia e Ordem. Univ. of Chicago Press, English translation: Topology and Order. Van Nostrand, Princeton, 1965 (1950, in Portuguese)"},{"issue":"4","key":"9274_CR38","first-page":"403","volume":"49","author":"L Nachbin","year":"1992","unstructured":"Nachbin, L.: Compact unions of closed subsets are closed and compact intersections of open subsets are open. Port. Math. 49(4), 403\u2013409 (1992)","journal-title":"Port. Math."},{"issue":"1\u20132","key":"9274_CR39","first-page":"107","volume":"25","author":"MC Pedicchio","year":"1989","unstructured":"Pedicchio, M.C., Tholen, W.: Multiplicative structures over sup-lattices. Arch. Math. (Brno) 25(1\u20132), 107\u2013114 (1989)","journal-title":"Arch. Math. (Brno)"},{"issue":"6","key":"9274_CR40","first-page":"148","volume":"5","author":"C Pisani","year":"1999","unstructured":"Pisani, C.: Convergence in exponentiable spaces. Theory Appl. Categ. 5(6), 148\u2013162 (1999)","journal-title":"Theory Appl. Categ."},{"issue":"1\u20132","key":"9274_CR41","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0166-8641(97)00224-1","volume":"89","author":"JJMM Rutten","year":"1998","unstructured":"Rutten, J.J.M.M.: Weighted colimits and formal balls in generalized metric spaces. Topology Appl. 89(1\u20132), 179\u2013202 (1998, domain theory)","journal-title":"Topology Appl."},{"key":"9274_CR42","series-title":"Lecture Notes in Math","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BFb0073967","volume-title":"Toposes, Algebraic Geometry and Logic (Conf., Dalhousie Univ., Halifax, N.S., 1971)","author":"D Scott","year":"1972","unstructured":"Scott, D.: Continuous lattices. In: Toposes, Algebraic Geometry and Logic (Conf., Dalhousie Univ., Halifax, N.S., 1971). Lecture Notes in Math., vol. 274, pp. 97\u2013136, Springer, Berlin (1972)"},{"key":"9274_CR43","first-page":"221","volume":"14","author":"GJ Seal","year":"2005","unstructured":"Seal, G.J.: Canonical and op-canonical lax algebras. Theory Appl. Categ. 14, 221\u2013243 (2005)","journal-title":"Theory Appl. Categ."},{"issue":"2","key":"9274_CR44","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0166-8641(82)90021-9","volume":"13","author":"H Simmons","year":"1982","unstructured":"Simmons, H.: A couple of triples. Topology Appl. 13(2), 201\u2013223 (1982)","journal-title":"Topology Appl."},{"issue":"14","key":"9274_CR45","first-page":"283","volume":"16","author":"I Stubbe","year":"2006","unstructured":"Stubbe, I.: Categorical structures enriched in a quantaloid: tensored and cotensored categories. Theory Appl. Categ. 16(14), 283\u2013306 (2006)","journal-title":"Theory Appl. Categ."},{"issue":"12","key":"9274_CR46","doi-asserted-by":"crossref","first-page":"2148","DOI":"10.1016\/j.topol.2009.03.038","volume":"156","author":"W Tholen","year":"2009","unstructured":"Tholen, W.: Ordered topological structures. Topology Appl. 156(12), 2148\u20132157 (2009)","journal-title":"Topology Appl."},{"issue":"15","key":"9274_CR47","first-page":"328","volume":"14","author":"S Vickers","year":"2005","unstructured":"Vickers, S.: Localic completion of generalized metric spaces. I. Theory Appl. Categ. 14(15), 328\u2013356 (2005)","journal-title":"I. Theory Appl. Categ."},{"key":"9274_CR48","unstructured":"Wagner, K.R.: Solving recursive domain equations with enriched categories. Ph.D. thesis, Carnegie Mellon University, ftp:\/\/ftp.risc.uni-linz.ac.at\/pub\/techreports\/1994\/94-62.ps.gz (1994)"},{"issue":"1\u20132","key":"9274_CR49","doi-asserted-by":"crossref","first-page":"169","DOI":"10.3233\/FI-2009-0071","volume":"92","author":"P Waszkiewicz","year":"2009","unstructured":"Waszkiewicz, P.: On domain theory over Girard quantales. Fund. Inform. 92(1\u20132), 169\u2013192 (2009)","journal-title":"Fund. Inform."},{"issue":"2","key":"9274_CR50","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/BF00250716","volume":"90","author":"O Wyler","year":"1985","unstructured":"Wyler, O.: Algebraic theories for continuous semilattices. Arch. Ration. Mech. Anal. 90(2), 99\u2013113 (1985)","journal-title":"Arch. Ration. Mech. Anal."},{"issue":"3","key":"9274_CR51","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/BF01214522","volume":"148","author":"V Z\u00f6berlein","year":"1976","unstructured":"Z\u00f6berlein, V.: Doctrines on 2-categories. Math. Z. 148(3), 267\u2013279 (1976)","journal-title":"Math. Z."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-011-9274-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-011-9274-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-011-9274-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,17]],"date-time":"2024-04-17T21:27:36Z","timestamp":1713389256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-011-9274-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,13]]},"references-count":51,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["9274"],"URL":"https:\/\/doi.org\/10.1007\/s10485-011-9274-z","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1,13]]}}}