{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T12:23:21Z","timestamp":1762431801057,"version":"3.37.3"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2020,4,30]],"date-time":"2020-04-30T00:00:00Z","timestamp":1588204800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,4,30]],"date-time":"2020-04-30T00:00:00Z","timestamp":1588204800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"FCT","award":["POCI-01-0145-FEDER-030947","UID\/MAT\/04106\/2019"],"award-info":[{"award-number":["POCI-01-0145-FEDER-030947","UID\/MAT\/04106\/2019"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2020,10]]},"DOI":"10.1007\/s10485-020-09597-8","type":"journal-article","created":{"date-parts":[[2020,4,30]],"date-time":"2020-04-30T21:03:03Z","timestamp":1588280583000},"page":"773-806","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Hausdorff Coalgebras"],"prefix":"10.1007","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1082-6135","authenticated-orcid":false,"given":"Dirk","family":"Hofmann","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Nora","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,4,30]]},"reference":[{"key":"9597_CR1","first-page":"1","volume-title":"We Will Show Them! Essays in Honour of Dov Gabbay","author":"S Abramsky","year":"2005","unstructured":"Abramsky, S.: A Cook\u2019s Tour of the Finitary Non-Well-Founded Sets. In: Artemov, S., Barringer, H., Garcez, A.A. (eds.) We Will Show Them! Essays in Honour of Dov Gabbay, vol. 1, pp. 1\u201318. College Publications, London (2005)"},{"key":"9597_CR2","first-page":"1","volume-title":"Handbook of Logic in Computer Science: Semantic Structures","author":"S Abramsky","year":"1995","unstructured":"Abramsky, S., Jung, A.: Domain Theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science: Semantic Structures, vol. 3, pp. 1\u2013168. Oxford University Press, Oxford (1995)"},{"issue":"8","key":"9597_CR3","first-page":"157","volume":"14","author":"J Ad\u00e1mek","year":"2005","unstructured":"Ad\u00e1mek, J.: Introduction to coalgebra. Theory Appl. Categ. 14(8), 157\u2013199 (2005)","journal-title":"Theory Appl. Categ."},{"key":"9597_CR4","unstructured":"Ad\u00e1mek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories: the joy of cats. Pure Applied Mathematics (New York). Wiley, New York (1990). http:\/\/tac.mta.ca\/tac\/reprints\/articles\/17\/tr17abs.html. Republished in: Reprints in Theory and Applications of Categories, No. 17 (2006) pp.\u00a01\u2013507"},{"issue":"8","key":"9597_CR5","doi-asserted-by":"publisher","first-page":"1275","DOI":"10.1016\/j.topol.2009.06.018","volume":"157","author":"A Akhvlediani","year":"2010","unstructured":"Akhvlediani, A., Clementino, M.M., Tholen, W.: On the categorical meaning of Hausdorff and Gromov distances, I. Topol. Appl. 157(8), 1275\u20131295 (2010). https:\/\/doi.org\/10.1016\/j.topol.2009.06.018","journal-title":"Topol. Appl."},{"key":"9597_CR6","doi-asserted-by":"publisher","unstructured":"B\u0103bu\u015f, O., Kurz, A.: On the logic of generalised metric spaces. In: Hasuo, I. (ed.) Coalgebraic Methods in Computer Science, pp. 136\u2013155. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-40370-0_9","DOI":"10.1007\/978-3-319-40370-0_9"},{"key":"9597_CR7","unstructured":"Balan, A., Kurz, A., Velebil, J.: Extending set functors to generalised metric spaces. Log. Methods Comput. Sci. 15(1) (2019)"},{"issue":"3","key":"9597_CR8","doi-asserted-by":"publisher","first-page":"1860","DOI":"10.23638\/lmcs-14(3:20)2018","volume":"14","author":"P Baldan","year":"2018","unstructured":"Baldan, P., Bonchi, F., Kerstan, H., K\u00f6nig, B.: Coalgebraic behavioral metrics. Log. Methods Comput. Sci. 14(3), 1860\u20135974 (2018). https:\/\/doi.org\/10.23638\/lmcs-14(3:20)2018","journal-title":"Log. Methods Comput. Sci."},{"issue":"2","key":"9597_CR9","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/0304-3975(93)90076-6","volume":"114","author":"M Barr","year":"1993","unstructured":"Barr, M.: Terminal coalgebras in well-founded set theory. Theor. Comput. Sci. 114(2), 299\u2013315 (1993). https:\/\/doi.org\/10.1016\/0304-3975(93)90076-6","journal-title":"Theor. Comput. Sci."},{"key":"9597_CR10","doi-asserted-by":"publisher","unstructured":"Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, New York (1985). https:\/\/doi.org\/10.1007\/978-1-4899-0021-0. http:\/\/www.tac.mta.ca\/tac\/reprints\/articles\/12\/tr12abs.html. Republished in: Reprints in Theory and Applications of Categories, No. 12, 2005, pp. 1\u2013288","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"9597_CR11","doi-asserted-by":"publisher","unstructured":"Birsan, T., Tiba, D.: One hundred years since the introduction of the set distance by Dimitrie Pompeiu. In: Pandolfi, F., Ceragioli, A., Dontchev, H., Furuta, K., Marti, L. (eds.) System Modeling and Optimization, IFIP Advances in Information and Communication Technology, vol. 199, pp. 35\u201339. Springer (2006). https:\/\/doi.org\/10.1007\/0-387-33006-2_4. Proceedings of the 22nd IFIP TC7 Conference, July 18\u201322, 2005, Turin, Italy","DOI":"10.1007\/0-387-33006-2_4"},{"key":"9597_CR12","doi-asserted-by":"publisher","unstructured":"Bonchi, F., K\u00f6nig, B., Petri\u015fan, D.: Up-To Techniques for Behavioural Metrics via Fibrations. In: Schewe and Zhang [51], pp. 17:1\u201317:17. https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2018.17. http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2018\/9555\/. 29th International Conference on Concurrency Theory, September 4\u20137, 2018 - Beijing, China","DOI":"10.4230\/LIPIcs.CONCUR.2018.17"},{"key":"9597_CR13","doi-asserted-by":"publisher","unstructured":"Bonsangue, M., Rutten, J., Silva, A.: An algebra for Kripke polynomial coalgebras. In: 24th Annual IEEE Symposium on Logic in Computer Science, 11\u201314 August 2009, Los Angeles, CA, USA, pp. 49\u201358. IEEE (2009). https:\/\/doi.org\/10.1109\/LICS.2009.18","DOI":"10.1109\/LICS.2009.18"},{"key":"9597_CR14","volume-title":"General topology, part I","author":"N Bourbaki","year":"1966","unstructured":"Bourbaki, N.: General topology, part I. Addison-Wesley, Hermann, Paris (1966). Chapters 1\u20134"},{"key":"9597_CR15","unstructured":"Cantor, G.: \u00dcber eine elementare Frage der Mannigfaltigkeitslehre. Jahresbericht der Deutschen Mathematiker-Vereinigung 1, 75\u201378 (1891). http:\/\/mickindex.sakura.ne.jp\/cantor\/cnt_uFM_gm.html"},{"issue":"11","key":"9597_CR16","doi-asserted-by":"publisher","first-page":"3423","DOI":"10.1090\/S0002-9939-02-06472-9","volume":"130","author":"MM Clementino","year":"2002","unstructured":"Clementino, M.M., Hofmann, D.: Triquotient maps via ultrafilter convergence. Proc. Am. Math. Soc. 130(11), 3423\u20133431 (2002). https:\/\/doi.org\/10.1090\/S0002-9939-02-06472-9","journal-title":"Proc. Am. Math. Soc."},{"issue":"2","key":"9597_CR17","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1016\/j.jpaa.2019.06.003","volume":"224","author":"MM Clementino","year":"2020","unstructured":"Clementino, M.M., Hofmann, D., Ribeiro, W.: Cartesian closed exact completions in topology. J. Pure Appl. Algebra 224(2), 610\u2013629 (2020). https:\/\/doi.org\/10.1016\/j.jpaa.2019.06.003","journal-title":"J. Pure Appl. Algebra"},{"issue":"5","key":"9597_CR18","doi-asserted-by":"publisher","first-page":"704","DOI":"10.1090\/S0002-9939-1962-0144824-3","volume":"13","author":"RP Dilworth","year":"1962","unstructured":"Dilworth, R.P., Gleason, A.M.: A generalized Cantor theorem. Proc. Am. Math. Soc. 13(5), 704\u2013705 (1962). https:\/\/doi.org\/10.1090\/S0002-9939-1962-0144824-3","journal-title":"Proc. Am. Math. Soc."},{"key":"9597_CR19","unstructured":"Engelking, R.: General topology, Sigma Series in Pure Mathematics, vol. 6, 2nd edn. Heldermann Verlag, Berlin (1989). Translated from the Polish by the author"},{"issue":"1","key":"9597_CR20","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1017\/S0305004100068377","volume":"107","author":"B Fawcett","year":"1990","unstructured":"Fawcett, B., Wood, R.J.: Constructive complete distributivity. I. Math. Proc. Camb. Philos. Soc. 107(1), 81\u201389 (1990). https:\/\/doi.org\/10.1017\/S0305004100068377","journal-title":"Math. Proc. Camb. Philos. Soc."},{"key":"9597_CR21","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 June 23\u201330, 1991, CMS Conference Proceedings, vol. 13. American Mathematical Society (1992)"},{"issue":"3","key":"9597_CR22","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s000120050018","volume":"37","author":"RC Flagg","year":"1997","unstructured":"Flagg, R.C.: Quantales and continuity spaces. Algebra Universalis 37(3), 257\u2013276 (1997). https:\/\/doi.org\/10.1007\/s000120050018","journal-title":"Algebra Universalis"},{"key":"9597_CR23","doi-asserted-by":"publisher","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W., Scott, D.S.: A compendium of continuous lattices. Springer, Berlin (1980). https:\/\/doi.org\/10.1007\/978-3-642-67678-9","DOI":"10.1007\/978-3-642-67678-9"},{"key":"9597_CR24","doi-asserted-by":"publisher","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W., Scott, D.S.: Continuous lattices and domains. In: Encyclopedia of Mathematics and its Applications, vol. 93. Cambridge University Press, Cambridge (2003). https:\/\/doi.org\/10.1017\/CBO9780511542725","DOI":"10.1017\/CBO9780511542725"},{"key":"9597_CR25","volume-title":"Grundz\u00fcge der Mengenlehre","author":"F Hausdorff","year":"1914","unstructured":"Hausdorff, F.: Grundz\u00fcge der Mengenlehre. Veit & Comp, Leipzig (1914)"},{"issue":"2","key":"9597_CR26","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1016\/j.aim.2007.04.013","journal-title":"Adv. Math."},{"issue":"4","key":"9597_CR27","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1017\/S0960129518000269","volume":"29","author":"D Hofmann","year":"2019","unstructured":"Hofmann, D., Neves, R., Nora, P.: Limits in categories of Vietoris coalgebras. Math. Struct. Comput. Sci. 29(4), 552\u2013587 (2019). https:\/\/doi.org\/10.1017\/S0960129518000269","journal-title":"Math. Struct. Comput. Sci."},{"key":"9597_CR28","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1016\/j.aim.2018.03.010","volume":"330","author":"D Hofmann","year":"2018","unstructured":"Hofmann, D., Nora, P.: Enriched stone-type dualities. Adv. Math. 330, 307\u2013360 (2018). https:\/\/doi.org\/10.1016\/j.aim.2018.03.010","journal-title":"Adv. Math."},{"key":"9597_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.fss.2012.05.005","volume":"210","author":"D Hofmann","year":"2013","unstructured":"Hofmann, D., Reis, C.D.: Probabilistic metric spaces as enriched categories. Fuzzy Sets Syst. 210, 1\u201321 (2013). https:\/\/doi.org\/10.1016\/j.fss.2012.05.005","journal-title":"Fuzzy Sets Syst."},{"key":"9597_CR30","unstructured":"Hofmann, D., Reis, C.D.: Convergence and quantale-enriched categories. Categ. Gen. Algebraic Struct. Appl. 9(1), 77\u2013138 (2018). http:\/\/cgasa.sbu.ac.ir\/article_58262.html"},{"key":"9597_CR31","doi-asserted-by":"publisher","unstructured":"Hofmann, D., Seal, G.J., Tholen, W. (eds.): Monoidal Topology. A Categorical Approach to Order, Metric, and Topology, Encyclopedia of Mathematics and its Applications, vol. 153. Cambridge University Press, Cambridge (2014). https:\/\/doi.org\/10.1017\/cbo9781107517288. http:\/\/www.cambridge.org\/pt\/academic\/subjects\/mathematics\/logic-categories-and-sets\/monoidal-topology-categorical-approach-order-metric-and-topology. Authors: Maria Manuel Clementino, Eva Colebunders, Dirk Hofmann, Robert Lowen, Rory Lucyshyn-Wright, Gavin J. Seal and Walter Tholen","DOI":"10.1017\/cbo9781107517288"},{"issue":"3","key":"9597_CR32","doi-asserted-by":"publisher","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 (2010). https:\/\/doi.org\/10.1007\/s10485-008-9169-9","journal-title":"Appl. Categ. Struct."},{"issue":"1\u20133","key":"9597_CR33","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0022-4049(02)00134-2","volume":"175","author":"G Janelidze","year":"2002","unstructured":"Janelidze, G., Sobral, M.: Finite preorders and topological descent. I. J. Pure Appl. Algebra 175(1\u20133), 187\u2013205 (2002). https:\/\/doi.org\/10.1016\/S0022-4049(02)00134-2. Special volume celebrating the $$70^{\\text{ th }}$$ birthday of Professor Max Kelly","journal-title":"J. Pure Appl. Algebra"},{"issue":"3","key":"9597_CR34","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/S0022-4049(02)00046-4","volume":"174","author":"G Janelidze","year":"2002","unstructured":"Janelidze, G., Sobral, M.: Finite preorders and topological descent. II. \u00e9tale descent. J. Pure Appl. Algebra 174(3), 303\u2013309 (2002). https:\/\/doi.org\/10.1016\/S0022-4049(02)00046-4","journal-title":"J. Pure Appl. Algebra"},{"key":"9597_CR35","unstructured":"Johnstone, P.T.: Stone spaces, Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge University Press, Cambridge (1986). Reprint of the 1982 edition"},{"key":"9597_CR36","doi-asserted-by":"publisher","unstructured":"K\u00f6nig, B., Mika-Michalski, C.: (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras. In: Schewe and Zhang [51], pp. 37:1\u201337:17. https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2018.37. http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2018\/9575\/. 29th International Conference on Concurrency Theory, September 4\u20137, 2018, Beijing, China","DOI":"10.4230\/LIPIcs.CONCUR.2018.37"},{"issue":"1\u20132","key":"9597_CR37","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2004.07.023","volume":"327","author":"C Kupke","year":"2004","unstructured":"Kupke, C., Kurz, A., Venema, Y.: Stone coalgebras. Theor. Comput. Sci. 327(1\u20132), 109\u2013134 (2004). https:\/\/doi.org\/10.1016\/j.tcs.2004.07.023","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"9597_CR38","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF01110627","volume":"103","author":"J Lambek","year":"1968","unstructured":"Lambek, J.: A fixpoint theorem for complete categories. Math. Z. 103(2), 151\u2013161 (1968). https:\/\/doi.org\/10.1007\/BF01110627","journal-title":"Math. Z."},{"issue":"1","key":"9597_CR39","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/bf02924844","volume":"43","author":"FW Lawvere","year":"1973","unstructured":"Lawvere, F.W.: Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matem\u00e0tico e Fisico di Milano 43(1), 135\u2013166 (1973). https:\/\/doi.org\/10.1007\/bf02924844. Republished in: Reprints in Theory and Applications of Categories (1), 1\u201337 (2002)","journal-title":"Rendiconti del Seminario Matem\u00e0tico e Fisico di Milano"},{"key":"9597_CR40","doi-asserted-by":"publisher","unstructured":"Linton, F.E.J.: Coequalizers in categories of algebras. In: Eckmann, B. (ed.) Seminar on Triples and Categorical Homology Theory, Lecture Notes in Mathematics, vol. 80, pp. 75\u201390. Springer, Berlin (1969). https:\/\/doi.org\/10.1007\/bfb0083082. http:\/\/www.tac.mta.ca\/tac\/reprints\/articles\/18\/tr18abs.html","DOI":"10.1007\/bfb0083082"},{"issue":"1","key":"9597_CR41","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1090\/S0002-9947-1951-0042109-4","volume":"71","author":"E Michael","year":"1951","unstructured":"Michael, E.: Topologies on spaces of subsets. Trans. Am. Math. Soc. 71(1), 152\u2013182 (1951). https:\/\/doi.org\/10.1090\/S0002-9947-1951-0042109-4","journal-title":"Trans. Am. Math. Soc."},{"key":"9597_CR42","unstructured":"Nachbin, L.: Topology and Order. No.\u00a04 in Van Nostrand Mathematical Studies. D. Van Nostrand, Princeton, N.J.-Toronto, Ont.-London (1965). Translated from the Portuguese by Lulu Bechtolsheim"},{"key":"9597_CR43","unstructured":"Nora, P.: Kleisli dualities and Vietoris coalgebras. Ph.D. thesis, University of Aveiro (2019)"},{"issue":"3","key":"9597_CR44","doi-asserted-by":"publisher","first-page":"265","DOI":"10.5802\/afst.226","volume":"7","author":"D Pompeiu","year":"1905","unstructured":"Pompeiu, D.: Sur la continuit\u00e9 des fonctions de variables complexes. Annales de la Facult\u00e9 des Sciences de l\u2019Universit\u00e9 de Toulouse pour les Sciences Math\u00e9matiques et les Sciences Physiques 2i\u00e8me S\u00e9rie 7(3), 265\u2013315 (1905). https:\/\/doi.org\/10.5802\/afst.226","journal-title":"Annales de la Facult\u00e9 des Sciences de l\u2019Universit\u00e9 de Toulouse pour les Sciences Math\u00e9matiques et les Sciences Physiques 2i\u00e8me S\u00e9rie"},{"issue":"2","key":"9597_CR45","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"HA Priestley","year":"1970","unstructured":"Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. Lond. Math. Soc. 2(2), 186\u2013190 (1970). https:\/\/doi.org\/10.1112\/blms\/2.2.186","journal-title":"Bull. Lond. Math. Soc."},{"issue":"3","key":"9597_CR46","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1112\/plms\/s3-24.3.507","volume":"24","author":"HA Priestley","year":"1972","unstructured":"Priestley, H.A.: Ordered topological spaces and the representation of distributive lattices. Proc. Lond. Math. Soc. Third Ser. 24(3), 507\u2013530 (1972). https:\/\/doi.org\/10.1112\/plms\/s3-24.3.507","journal-title":"Proc. Lond. Math. Soc. Third Ser."},{"issue":"5","key":"9597_CR47","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1090\/s0002-9939-1952-0052392-3","volume":"3","author":"GN Raney","year":"1952","unstructured":"Raney, G.N.: Completely distributive complete lattices. Proc. Am. Math. Soc. 3(5), 677\u2013680 (1952). https:\/\/doi.org\/10.1090\/s0002-9939-1952-0052392-3","journal-title":"Proc. Am. Math. Soc."},{"issue":"1","key":"9597_CR48","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/s0304-3975(00)00056-6","volume":"249","author":"J Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249(1), 3\u201380 (2000). https:\/\/doi.org\/10.1016\/s0304-3975(00)00056-6","journal-title":"Theor. Comput. Sci."},{"key":"9597_CR49","unstructured":"Schalk, A.: Algebras for generalized power constructions. Ph.D. thesis, Technische Hochschule Darmstadt (1993). http:\/\/www.cs.man.ac.uk\/~schalk\/publ\/diss.ps.gz"},{"key":"9597_CR50","unstructured":"Schewe, S., Zhang, L. (eds.): CONCUR 2018, LIPICS, vol. 118. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik GmbH, Wadern\/Saarbruecken, Germany (2018). 29th International Conference on Concurrency Theory, September 4\u20137, 2018, Beijing, China"},{"key":"9597_CR51","unstructured":"Seal, G.J.: Canonical and op-canonical lax algebras. Theory and Applications of Categories 14(10), 221\u2013243 (2005). http:\/\/www.tac.mta.ca\/tac\/volumes\/14\/10\/14-10abs.html"},{"issue":"1","key":"9597_CR52","first-page":"51","volume":"51","author":"I Stubbe","year":"2010","unstructured":"Stubbe, I.: \u201cHausdorff distance\u201d via conical cocompletion. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques 51(1), 51\u201376 (2010)","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"},{"key":"9597_CR53","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.fss.2013.08.009","volume":"256","author":"I Stubbe","year":"2014","unstructured":"Stubbe, I.: An introduction to quantaloid-enriched categories. Fuzzy Sets Syst. 256, 95\u2013116 (2014). https:\/\/doi.org\/10.1016\/j.fss.2013.08.009. Special Issue on Enriched Category Theory and Related Topics (Selected papers from the $$33^{\\text{ rd }}$$ Linz Seminar on Fuzzy Set Theory, 2012)","journal-title":"Fuzzy Sets Syst."},{"issue":"12","key":"9597_CR54","doi-asserted-by":"publisher","first-page":"2148","DOI":"10.1016\/j.topol.2009.03.038","volume":"156","author":"W Tholen","year":"2009","unstructured":"Tholen, W.: Ordered topological structures. Topol. Appl. 156(12), 2148\u20132157 (2009). https:\/\/doi.org\/10.1016\/j.topol.2009.03.038","journal-title":"Topol. Appl."},{"issue":"5","key":"9597_CR55","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1017\/S0960129598002588","volume":"8","author":"D Turi","year":"1998","unstructured":"Turi, D., Rutten, J.: On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces. Math. Struct. Comput. Sci. 8(5), 481\u2013540 (1998). https:\/\/doi.org\/10.1017\/S0960129598002588","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"9597_CR56","doi-asserted-by":"publisher","first-page":"618","DOI":"10.1090\/s0002-9939-1972-0309047-x","volume":"36","author":"WC Waterhouse","year":"1972","unstructured":"Waterhouse, W.C.: An empty inverse limit. Proc. Am. Math. Soc. 36(2), 618 (1972). https:\/\/doi.org\/10.1090\/s0002-9939-1972-0309047-x","journal-title":"Proc. Am. Math. Soc."},{"key":"9597_CR57","doi-asserted-by":"publisher","unstructured":"van Breugel, F., Hermida, C., Makkai, M., Worrell, J.: An accessible approach to behavioural pseudometrics. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) Automata, Languages and Programming, pp. 1018\u20131030. Springer, Berlin (2005). https:\/\/doi.org\/10.1007\/11523468_82. Proceedings of the 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11\u201315, 2005","DOI":"10.1007\/11523468_82"},{"key":"9597_CR58","doi-asserted-by":"publisher","unstructured":"Wild, P., Schr\u00f6der, L., Pattinson, D., K\u00f6nig, B.: A van Benthem Theorem for Fuzzy Modal Logic. In: Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS \u201918). ACM Press (2018). https:\/\/doi.org\/10.1145\/3209108.3209180","DOI":"10.1145\/3209108.3209180"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-020-09597-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-020-09597-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-020-09597-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T00:10:28Z","timestamp":1619741428000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-020-09597-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,30]]},"references-count":58,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2020,10]]}},"alternative-id":["9597"],"URL":"https:\/\/doi.org\/10.1007\/s10485-020-09597-8","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2020,4,30]]},"assertion":[{"value":"14 August 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 March 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 April 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}