{"id":"https://openalex.org/W7207829970","doi":"https://doi.org/10.48550/arxiv.2609.02598","title":"Metrization of Quasi-Uniformities, Powerset Monads, and Qualitative Robustness Analysis","display_name":"Metrization of Quasi-Uniformities, Powerset Monads, and Qualitative Robustness Analysis","publication_year":2026,"publication_date":"2026-09-02","ids":{"openalex":"https://openalex.org/W7207829970","doi":"https://doi.org/10.48550/arxiv.2609.02598"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.02598","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.02598","pdf_url":"https://arxiv.org/pdf/2609.02598","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.02598","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046176286","display_name":"Francesco Dagnino","orcid":"https://orcid.org/0000-0003-3599-3535","observed_orcids":["https://orcid.org/0000-0003-3599-3535"]},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Dagnino, Francesco","raw_affiliation_strings":["DIBRIS , University of Genoa , Italy ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIBRIS , University of Genoa , Italy ,","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091894566","display_name":"Amin Farjudian","orcid":"https://orcid.org/0000-0002-1879-0763","observed_orcids":["https://orcid.org/0000-0002-1879-0763"]},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Farjudian, Amin","raw_affiliation_strings":["School of Mathematics , University of Birmingham , United Kingdom ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics , University of Birmingham , United Kingdom ,","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060518986","display_name":"Eugenio Moggi","orcid":"https://orcid.org/0000-0001-8018-6543","observed_orcids":["https://orcid.org/0000-0001-8018-6543"]},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Moggi, Eugenio","raw_affiliation_strings":["DIBRIS , University of Genoa , Italy ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIBRIS , University of Genoa , Italy ,","institution_ids":["https://openalex.org/I83816512"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.8598999977111816,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.8598999977111816,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11777","display_name":"Fixed Point Theorems Analysis","score":0.0203000009059906,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.01730000041425228,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quasi-uniform-spaces","display_name":"quasi-uniform spaces","score":0.8550000190734863},{"id":"https://openalex.org/keywords/metrization-theorems","display_name":"metrization theorems","score":0.8949999809265137},{"id":"https://openalex.org/keywords/topological-space","display_name":"topological spaces","score":0.7450000047683716},{"id":"https://openalex.org/keywords/equivalence-of-categories","display_name":"category equivalence","score":0.3630000054836273}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7189000248908997},{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.6791999936103821},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6725999712944031},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.557200014591217},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5081999897956848},{"id":"https://openalex.org/C198043062","wikidata":"https://www.wikidata.org/wiki/Q180953","display_name":"Metric space","level":2,"score":0.4729999899864197},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.39480000734329224},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.36149999499320984},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3547999858856201},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3425999879837036},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3391000032424927},{"id":"https://openalex.org/C105433845","wikidata":"https://www.wikidata.org/wiki/Q1194053","display_name":"Metrization theorem","level":3,"score":0.3287999927997589},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.32679998874664307},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.3174999952316284},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3091999888420105},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3034999966621399},{"id":"https://openalex.org/C2776477805","wikidata":"https://www.wikidata.org/wiki/Q4460773","display_name":"Topological data analysis","level":2,"score":0.29190000891685486},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.25780001282691956},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2572000026702881},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.25600001215934753}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.02598","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.02598","pdf_url":"https://arxiv.org/pdf/2609.02598","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.02598","doi":"https://doi.org/10.48550/arxiv.2609.02598","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.02598","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.02598","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.02598","pdf_url":"https://arxiv.org/pdf/2609.02598","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7207829970.pdf","grobid_xml":"https://content.openalex.org/works/W7207829970.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W2009183043","https://openalex.org/W2020166407","https://openalex.org/W2121615522","https://openalex.org/W2755572239","https://openalex.org/W3035639841","https://openalex.org/W4385581488","https://openalex.org/W4414458048"],"related_works":["https://openalex.org/W4414458048","https://openalex.org/W4388895375","https://openalex.org/W2910630640","https://openalex.org/W7133333355","https://openalex.org/W2939973706","https://openalex.org/W3035639841","https://openalex.org/W2055283519","https://openalex.org/W2963387694","https://openalex.org/W2796600467","https://openalex.org/W1268413982"],"abstract_inverted_index":{"We":[0,36],"study":[1],"the":[2,24,56,70,96],"relationship":[3],"between":[4,23],"quasi-uniform":[5,27,93],"spaces,":[6,8,76],"topological":[7,45],"and":[9,29,107],"quantale-valued":[10,33,61,74],"metric":[11,34,75],"spaces.":[12,35],"Our":[13],"main":[14],"result":[15],"is":[16,78],"a":[17,30,39,86,89,100],"metrization":[18,41],"theorem":[19,42],"establishing":[20],"an":[21],"equivalence":[22],"category":[25,31],"of":[26,32,60,88],"spaces":[28,46,94],"also":[37],"obtain":[38],"quantale-based":[40],"for":[43],"arbitrary":[44],"that":[47,69],"refines":[48],"existing":[49],"constructions.":[50],"These":[51],"results":[52],"identify":[53],"quasi-uniformities":[54],"as":[55,85],"appropriate":[57],"qualitative":[58],"counterpart":[59],"metrics.":[62],"Building":[63],"on":[64,73,92],"this":[65],"correspondence,":[66],"we":[67],"show":[68],"Hausdorff-Smyth":[71],"monad":[72,91],"which":[77],"used":[79],"in":[80],"quantitative":[81,108],"robustness":[82,109],"analysis,":[83],"arises":[84],"lifting":[87],"corresponding":[90],"along":[95],"equivalence.":[97],"This":[98],"provides":[99],"unified":[101],"categorical":[102],"framework":[103],"connecting":[104],"topology,":[105],"quasi-uniformity,":[106],"analysis.":[110]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-04T00:00:00"}