{"entities":{"Q972523":{"pageid":974371,"ns":120,"title":"Item:Q972523","lastrevid":57248106,"modified":"2026-03-27T15:41:06Z","type":"item","id":"Q972523","labels":{"en":{"language":"en","value":"On the categorical meaning of Hausdorff and Gromov distances. I."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5710119"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$38005C97-E1B8-431C-8D88-505B99E93D97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34e32a2f45c93b2bcad95af491ae9ac9da6a20ce","datavalue":{"value":{"text":"On the categorical meaning of Hausdorff and Gromov distances. I.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q972523$2439538B-064A-4581-9247-7A6CA40EF913","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60c2f682ee2f4c2d145311c7c7fbf5d09fa57d03","datavalue":{"value":"1226.18013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972523$663302E1-34DD-44D5-A86E-F61441ACD214","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17f63e9b5f6cd1bbe5e4da9bf528ac5fe5a79c78","datavalue":{"value":{"entity-type":"item","numeric-id":972522,"id":"Q972522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$B4A3253D-56BC-4D7C-9E6C-03F3B75E695A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8197ff0185d06cebfc50ad47145f3f32b6865d8d","datavalue":{"value":{"entity-type":"item","numeric-id":173920,"id":"Q173920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$2F69D2D2-0A8C-48C0-80E3-6657F0EA556B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"399d16b20c2e0544638ddc885ece23e0107e4491","datavalue":{"value":{"entity-type":"item","numeric-id":173922,"id":"Q173922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$72D6E57E-6605-4E19-8AD0-DC6586B82764","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$2ACC9A50-FF3F-46DD-8BB5-EE3DC7247C7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa06edbd08f775a06b7ddeb0ffb4a0ab49b94917","datavalue":{"value":{"time":"+2010-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q972523$CA335A40-2302-4293-B219-603FE5D77519","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05c7aed438b8c74b0a9d5aaed90a134f0f69bccf","datavalue":{"value":"https://arxiv.org/abs/0901.0618","type":"string"},"datatype":"url"},"type":"statement","id":"Q972523$762FCC8B-03EE-40A6-AC4D-0CFB5B877786","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8bfe41944ef2e8808464baee14d242055bf22542","datavalue":{"value":"\\textit{F. W. Lawvere} [Rend. Sem. Mat. fis. Milano 43(1973), 135--166 (1974; Zbl 0335.18006), reprinted in Repr. Theory Appl. Categ. 2002, No.~1, 1--37, (2002; Zbl 1078.18501)] proposed to regard metric spaces as categories enriched over the symmetric monoidal closed category \\(\\mathbb{P} _{+}=\\left( \\left[ 0,\\infty\\right] ,+,0\\right) \\), and suggested [Rev. Colomb. Mat. 20, No.~3--4, 147--178 (1986; Zbl 0648.18001), reprinted in Repr. Theory Appl. Categ. 2005, No.~8, 1--24, (2005; Zbl 1072.18001)] that the Hausdorff and Gromov metrics should be developed for an arbitrary symmetric monoidal closed category \\(\\left(\\mathcal{V},\\otimes,k\\right) \\).   In this paper the authors replace \\(\\mathbb{P}_{+}\\) by a commutative and unital quantale \\(\\mathcal{V}\\). The authors find that the guidance provided by enriched category theory [\\textit{G. M. Kelly}, Lond. Math. Soc. Lect. Note Ser. 64 (1982; Zbl 0478.18005), reprinted in Repr. Theory Appl. Categ. 2005, No.~10, 1--136, (2005; Zbl 1086.18001)] is indispensable for answering such a question as which structure and properties of the extended non-negative real half-line allow for a meaningful treatment of Hausdorff and Gromov distances. So-called bimodules or distributors between \\(\\mathcal{V}\\)-categories yield an elegant and powerful tool for their theory. They consider the Hausdorff monad of \\(\\mathcal{V}\\mathrm{-Cat}\\) and its lax extension to \\(\\mathcal{V}\\)-modules, in which the Eilenberg-Moore categories are determined.   The Gromov space of isomorphism classes of \\(\\mathcal{V}\\)-categories, which is shown to carry internal monoid structures in the monoidal category \\(\\mathcal{V}\\mathrm{-Cat}\\), is presented as a colimit. The effects of symmetrization and the status of separation are also discussed. The fundamental question of transfer of Cauchy completeness from \\(X\\) to \\(HX\\), as well as the question of completeness of suitable subspaces of the Gromov space is relegated to a subsequent paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q972523$F4614A08-07D9-43CE-9E66-2225D493CDE5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$91875D6A-DC38-4F0C-A06B-C1A4CCC2238E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7ddebf8c8a4928c353a78df10d1486bfa8c1128","datavalue":{"value":"18E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972523$A7082A21-4E90-47DC-99C1-9463D96FD7F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7a77a6bb22410edfea4b220e66b130a322dbf44","datavalue":{"value":"5710119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972523$E9DD6290-51B7-4511-BE52-70F74F7F14E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f5f228572658fe48a1b0e9126002c004c58fa2a","datavalue":{"value":"Lawvere metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q972523$E5A9BB7A-E5AF-4CAE-B210-73BE98D308C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13b50dc98709ac7bd9386a187b6ea79c0011d9c5","datavalue":{"value":"\\(\\mathcal{V}\\)-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q972523$B4D0330E-B6F7-4141-B595-0F36220D58FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c700d26d9abddb20cc0bbfecf7fa8892a1711b","datavalue":{"value":"\\(\\mathcal{V}\\)-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q972523$EED7C198-4893-4355-9101-DA2A80C6DC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c60fac9f4a42b6dc80c5bbac34e64dbd1b090258","datavalue":{"value":"Hausdorff metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q972523$F0689673-7542-4392-ADA1-3DA250071258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56816c99d43fb42985c2d89341ba60813100dc8d","datavalue":{"value":"Gromov metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q972523$5DC78845-867D-46B9-BC19-73549434616B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$BD6B2F1B-8C59-4499-B02A-081E1E16A872","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"584eea71a9b0ad62c335d9a6271c16f59f52654a","datavalue":{"value":"W2147610425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972523$795DE59C-B89B-436F-A065-CD7E7FB4032F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e38b37f13b9c0e5158e4b4a220105fe0f35a2e","datavalue":{"value":{"entity-type":"item","numeric-id":2731895,"id":"Q2731895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$DBA9BB31-9853-443A-A7AE-6E13F7EE288C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6d184081f6b6278f9ff8fa9f72875e1e714691","datavalue":{"value":{"entity-type":"item","numeric-id":1127524,"id":"Q1127524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$C9779A73-4F90-4DAF-899F-D40C763F3EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$F415E95E-28A7-4ACC-BEF0-7627F2F64CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ede79286edc365c7f560db5345b93e62f426687","datavalue":{"value":{"entity-type":"item","numeric-id":3156494,"id":"Q3156494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$00292170-4E9A-4DFD-A944-90E94C751648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55e9f9ac19e60418e8c0e761ca525108dbef1799","datavalue":{"value":{"entity-type":"item","numeric-id":1022482,"id":"Q1022482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$4C0F3C61-22EA-40A7-9A68-9F2356AB3DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461e09c6e32527e9db41b384482aef4b9a7e5ece","datavalue":{"value":{"entity-type":"item","numeric-id":1430170,"id":"Q1430170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$C1AB535D-B8C3-431A-B23A-825DE230E6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd6f4ef6480426d7d9be5efccb3b25c5b3f7a1c","datavalue":{"value":{"entity-type":"item","numeric-id":1159282,"id":"Q1159282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$0DDB9792-F0E5-495A-8F35-C7E9B77B638D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d2fca8ad3182ff1f836a15e1f563bb36891b38","datavalue":{"value":{"entity-type":"item","numeric-id":5898300,"id":"Q5898300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$C996B723-555B-40B0-985F-5EBDB35BAE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"853109268cf6abe6e782787d3fa508ea496504f8","datavalue":{"value":{"entity-type":"item","numeric-id":987494,"id":"Q987494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$CD6468AA-4ADB-49B9-A72F-605941C377E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$E8FC0D57-D3E8-4F90-8488-52C04D4751C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8adf691515f34c823c055c20548aa34312ef5c8b","datavalue":{"value":{"entity-type":"item","numeric-id":4551182,"id":"Q4551182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$629A033A-8167-4CA5-A03F-95D7D284B94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70ec7e25259dfe0f24fc73b23b0ff5b77e43e69","datavalue":{"value":{"entity-type":"item","numeric-id":4679163,"id":"Q4679163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$C59396CE-841E-47FC-B925-E08327710DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d45be8f4808b92295b4b8fedbd8f2799ea8261f","datavalue":{"value":{"entity-type":"item","numeric-id":3574404,"id":"Q3574404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$76D04D13-3760-4D58-B164-FDEB63CCDE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dab4f7b3cc0fd7f882ce5fb9d9d1b3aec604d604","datavalue":{"value":{"entity-type":"item","numeric-id":4464692,"id":"Q4464692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972523$433B7177-2C09-4DEA-9F42-7C843F9A1A02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e228a81436dc7888dc5352a34f80edefc09f4867","datavalue":{"value":"10.1016/J.TOPOL.2009.06.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972523$0DA2547B-236C-4983-871A-E4F8A120E935","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310045295995876028d0dbfd3be4437b9199efd5","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f32effe441b149c12edce8da0a4c01e0beac28fd","datavalue":{"value":{"amount":"+0.7990021705627441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q972523$43844553-47C6-4604-B36B-0EB39A57720B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce1d541471028ead574da4fe3a319f987ddadb30","datavalue":{"value":{"entity-type":"item","numeric-id":3634675,"id":"Q3634675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c303c650f5be90fe6d90f2331fecd759953a94ac","datavalue":{"value":{"amount":"+0.7968410849571228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q972523$89492E8A-7B8B-4AF1-B8F9-28D3D877238E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38393bbdec3ee972c41e3d62aebd616ae330bf70","datavalue":{"value":{"entity-type":"item","numeric-id":4611028,"id":"Q4611028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76074cd73a3b8359343a2fd6916c03aada424a9a","datavalue":{"value":{"amount":"+0.7808216214179993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q972523$B7FC1DD2-B286-43C1-9206-8A8489A2DCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaef845caa004ac80cfebdd7677de9297b38f94","datavalue":{"value":{"entity-type":"item","numeric-id":1794284,"id":"Q1794284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274966b3133e06bf3ecca7e8e19ede17bde7454f","datavalue":{"value":{"amount":"+0.779171884059906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q972523$6E84584C-3FAE-45C1-9B80-1491C8F0C1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910653b27173ebd0d839555586d9b7caefd588c1","datavalue":{"value":{"entity-type":"item","numeric-id":2851545,"id":"Q2851545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a457a6d94fa24b0c6690911a4fb193058ca923a","datavalue":{"value":{"amount":"+0.7782606482505798","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q972523$DB3A1777-CECE-4DC6-978B-F0366B6C0F9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:972523","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:972523"}}}}}