{"id":"https://openalex.org/W2890025815","doi":"https://doi.org/10.23638/lmcs-15(1:5)2019","title":"Extending set functors to generalised metric spaces","display_name":"Extending set functors to generalised metric spaces","publication_year":2019,"publication_date":"2019-01-29","ids":{"openalex":"https://openalex.org/W2890025815","doi":"https://doi.org/10.23638/lmcs-15(1:5)2019","mag":"2890025815"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-15(1:5)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(1:5)2019","pdf_url":"https://lmcs.episciences.org/5132/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/5132/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070560817","display_name":"Adriana Balan","orcid":"https://orcid.org/0000-0002-4494-6581"},"institutions":[{"id":"https://openalex.org/I185071736","display_name":"Chapman University","ror":"https://ror.org/0452jzg20","country_code":"US","type":"education","lineage":["https://openalex.org/I185071736"]},{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]},{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["CZ","RO","US"],"is_corresponding":true,"raw_author_name":"Adriana Balan","raw_affiliation_strings":["Department of Mathematical Methods and Models, University Politehnica of Bucharest, Romania","Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University in Prague, Czech Republic","Schmid College of Science and Technology, Chapman University, Orange, CA, USA","University Politehnica of Bucharest,"],"affiliations":[{"raw_affiliation_string":"Department of Mathematical Methods and Models, University Politehnica of Bucharest, Romania","institution_ids":["https://openalex.org/I61641377"]},{"raw_affiliation_string":"Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University in Prague, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Schmid College of Science and Technology, Chapman University, Orange, CA, USA","institution_ids":["https://openalex.org/I185071736"]},{"raw_affiliation_string":"University Politehnica of Bucharest,","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057868877","display_name":"Alexander Kurz","orcid":"https://orcid.org/0000-0002-8685-5207"},"institutions":[{"id":"https://openalex.org/I185071736","display_name":"Chapman University","ror":"https://ror.org/0452jzg20","country_code":"US","type":"education","lineage":["https://openalex.org/I185071736"]},{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]},{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["CZ","RO","US"],"is_corresponding":false,"raw_author_name":"Alexander Kurz","raw_affiliation_strings":["Department of Mathematical Methods and Models, University Politehnica of Bucharest, Romania","University Politehnica of Bucharest,","Schmid College of Science and Technology, Chapman University, Orange, CA, USA","Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University in Prague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Mathematical Methods and Models, University Politehnica of Bucharest, Romania","institution_ids":["https://openalex.org/I61641377"]},{"raw_affiliation_string":"University Politehnica of Bucharest,","institution_ids":["https://openalex.org/I61641377"]},{"raw_affiliation_string":"Schmid College of Science and Technology, Chapman University, Orange, CA, USA","institution_ids":["https://openalex.org/I185071736"]},{"raw_affiliation_string":"Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University in Prague, Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111511657","display_name":"Ji\u0159\u0131\u0301 Velebil","orcid":null},"institutions":[{"id":"https://openalex.org/I185071736","display_name":"Chapman University","ror":"https://ror.org/0452jzg20","country_code":"US","type":"education","lineage":["https://openalex.org/I185071736"]},{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]},{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["CZ","RO","US"],"is_corresponding":false,"raw_author_name":"Ji\u0159\u00ed Velebil","raw_affiliation_strings":["Schmid College of Science and Technology, Chapman University, Orange, CA, USA","University Politehnica of Bucharest,","Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University in Prague, Czech Republic","Department of Mathematical Methods and Models, University Politehnica of Bucharest, Romania"],"affiliations":[{"raw_affiliation_string":"Schmid College of Science and Technology, Chapman University, Orange, CA, USA","institution_ids":["https://openalex.org/I185071736"]},{"raw_affiliation_string":"University Politehnica of Bucharest,","institution_ids":["https://openalex.org/I61641377"]},{"raw_affiliation_string":"Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University in Prague, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Department of Mathematical Methods and Models, University Politehnica of Bucharest, Romania","institution_ids":["https://openalex.org/I61641377"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5070560817"],"corresponding_institution_ids":["https://openalex.org/I185071736","https://openalex.org/I44504214","https://openalex.org/I61641377"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.05269762,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"Volume 15, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11673","display_name":"Advanced Topics in Algebra","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11673","display_name":"Advanced Topics in Algebra","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9944999814033508,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.7511308193206787},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6063545942306519},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.48913246393203735},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4833388030529022},{"id":"https://openalex.org/keywords/metric-space","display_name":"Metric space","score":0.47953367233276367},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.4569123685359955},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.265604704618454},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.11477580666542053},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08052882552146912}],"concepts":[{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.7511308193206787},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6063545942306519},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.48913246393203735},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4833388030529022},{"id":"https://openalex.org/C198043062","wikidata":"https://www.wikidata.org/wiki/Q180953","display_name":"Metric space","level":2,"score":0.47953367233276367},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.4569123685359955},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.265604704618454},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.11477580666542053},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08052882552146912},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.23638/lmcs-15(1:5)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(1:5)2019","pdf_url":"https://lmcs.episciences.org/5132/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1809.02229","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1809.02229","pdf_url":"https://arxiv.org/pdf/1809.02229","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:digitalcommons.chapman.edu:scs_articles-1604","is_oa":true,"landing_page_url":"https://digitalcommons.chapman.edu/scs_articles/604","pdf_url":"https://digitalcommons.chapman.edu/cgi/viewcontent.cgi?article=1604&context=scs_articles","source":{"id":"https://openalex.org/S4377196324","display_name":"Chapman University Digital Commons (Chapman University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I185071736","host_organization_name":"Chapman University","host_organization_lineage":["https://openalex.org/I185071736"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mathematics, Physics, and Computer Science Faculty Articles and Research","raw_type":"text"},{"id":"pmh:oai:doaj.org/article:d5e451e974264c66aba1705f58bfd8f2","is_oa":true,"landing_page_url":"https://doaj.org/article/d5e451e974264c66aba1705f58bfd8f2","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 15, Issue 1 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.23638/lmcs-15(1:5)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(1:5)2019","pdf_url":"https://lmcs.episciences.org/5132/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3490545476","display_name":null,"funder_award_id":"P202/11/1632","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"}],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2890025815.pdf"},"referenced_works_count":64,"referenced_works":["https://openalex.org/W56167739","https://openalex.org/W75859641","https://openalex.org/W173641204","https://openalex.org/W178058081","https://openalex.org/W385466589","https://openalex.org/W568516392","https://openalex.org/W586900136","https://openalex.org/W1482240164","https://openalex.org/W1497366684","https://openalex.org/W1502707237","https://openalex.org/W1507692549","https://openalex.org/W1510067240","https://openalex.org/W1525647423","https://openalex.org/W1529384059","https://openalex.org/W1531625469","https://openalex.org/W1561011284","https://openalex.org/W1563160544","https://openalex.org/W1599543564","https://openalex.org/W1664509797","https://openalex.org/W1787838883","https://openalex.org/W1817268752","https://openalex.org/W1986531708","https://openalex.org/W1995902462","https://openalex.org/W2024873396","https://openalex.org/W2027667533","https://openalex.org/W2034621723","https://openalex.org/W2047862786","https://openalex.org/W2047957052","https://openalex.org/W2057843304","https://openalex.org/W2070034419","https://openalex.org/W2073714748","https://openalex.org/W2083870361","https://openalex.org/W2086788473","https://openalex.org/W2087031585","https://openalex.org/W2088189323","https://openalex.org/W2090781610","https://openalex.org/W2093436963","https://openalex.org/W2102919649","https://openalex.org/W2104603764","https://openalex.org/W2104717233","https://openalex.org/W2147610425","https://openalex.org/W2149574014","https://openalex.org/W2159645683","https://openalex.org/W2167671771","https://openalex.org/W2174150751","https://openalex.org/W2205707477","https://openalex.org/W2273719480","https://openalex.org/W2301521255","https://openalex.org/W2344528088","https://openalex.org/W2494854716","https://openalex.org/W2531185145","https://openalex.org/W2762916937","https://openalex.org/W2776184628","https://openalex.org/W2914212232","https://openalex.org/W3103848086","https://openalex.org/W3163307291","https://openalex.org/W4205392813","https://openalex.org/W4210749826","https://openalex.org/W4233022570","https://openalex.org/W4241603199","https://openalex.org/W4251025979","https://openalex.org/W4285719527","https://openalex.org/W4289107339","https://openalex.org/W4298377646"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1615487630","https://openalex.org/W2997091376","https://openalex.org/W112048059","https://openalex.org/W2142802962","https://openalex.org/W237654051","https://openalex.org/W4288266587","https://openalex.org/W4285708448","https://openalex.org/W3027723005","https://openalex.org/W4299915272"],"abstract_inverted_index":{"For":[0],"a":[1,12,38,42,145],"commutative":[2,126],"quantale":[3,127],"$\\mathcal{V}$,":[4,128],"the":[5,55,66,81,105,115,118,129,163],"category":[6,13],"$\\mathcal{V}-cat$":[7],"can":[8,34],"be":[9,35],"perceived":[10],"as":[11,29,65,69,71,92],"of":[14,52,112,117,162],"generalised":[15],"metric":[16,68,95],"spaces":[17],"and":[18,94,97,143,176],"non-expanding":[19],"maps.":[20],"We":[21],"show":[22,122],"that":[23,148],"any":[24,125],"type":[25,43],"constructor":[26,44],"$T$":[27],"(formalised":[28],"an":[30],"endofunctor":[31],"on":[32,46],"sets)":[33],"extended":[36,160],"in":[37,57,88,172],"canonical":[39],"way":[40],"to":[41,78,79,121,136,151],"$T_{\\mathcal{V}}$":[45],"$\\mathcal{V}-cat$.":[47],"The":[48],"proof":[49],"yields":[50],"methods":[51],"explicitly":[53],"calculating":[54],"extension":[56],"concrete":[58],"examples,":[59],"which":[60],"cover":[61],"well-known":[62],"notions":[63],"such":[64],"Pompeiu-Hausdorff":[67],"well":[70],"new":[72],"ones.":[73],"Conceptually,":[74],"this":[75],"allows":[76,149],"us":[77,150],"solve":[80],"same":[82],"recursive":[83],"domain":[84],"equation":[85],"$X\\cong":[86],"TX$":[87],"different":[89],"categories":[90,137],"(such":[91],"sets":[93,135],"spaces)":[96],"we":[98],"study":[99],"how":[100],"their":[101],"solutions":[102],"(that":[103],"is,":[104],"final":[106],"coalgebras)":[107],"are":[108],"related":[109],"via":[110],"change":[111],"base.":[113],"Mathematically,":[114],"heart":[116],"matter":[119],"is":[120,141],"that,":[123],"for":[124,170],"`discrete'":[130],"functor":[131],"$D:\\mathsf{Set}\\to":[132],"\\mathcal{V}-cat$":[133],"from":[134],"enriched":[138],"over":[139],"$\\mathcal{V}$":[140],"$\\mathcal{V}-cat$-dense":[142],"has":[144],"density":[146],"presentation":[147],"compute":[152],"left-Kan":[153],"extensions":[154],"along":[155],"$D$.":[156],"Comment:":[157],"57":[158],"pages;":[159],"version":[161],"paper":[164],"presented":[165],"at":[166],"CALCO":[167],"2015;":[168],"accepted":[169],"publication":[171],"LMCS;":[173],"Sections":[174],"2.4":[175],"3.3":[177],"were":[178],"added":[179]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}