乐胖代购免代理版

{"id":"https://openalex.org/W4385342950","doi":"https://doi.org/10.4204/eptcs.380.12","title":"Extending Resource Monotones using Kan Extensions","display_name":"Extending Resource Monotones using Kan Extensions","publication_year":2023,"publication_date":"2023-07-28","ids":{"openalex":"https://openalex.org/W4385342950","doi":"https://doi.org/10.4204/eptcs.380.12"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.380.12","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2022.12.pdf","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2022.12.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107600347","display_name":"Robin Cockett","orcid":null},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]},{"id":"https://openalex.org/I1321296531","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416","country_code":"US","type":"government","lineage":["https://openalex.org/I1321296531","https://openalex.org/I1343035065"]}],"countries":["CA","US"],"is_corresponding":false,"raw_author_name":"Robin Cockett","raw_affiliation_strings":["Department of Computer Science, University of Calgary, Alberta, Canada","Department of Mathematics & Statistics, University of Calgary, Alberta, Canada","Institute for Quantum Science and Technology, University of Calgary, Alberta, Canada","National Institute of Standards and Technology, Maryland, USA"],"affiliations":[{"raw_affiliation_string":"Institute for Quantum Science and Technology, University of Calgary, Alberta, Canada","institution_ids":["https://openalex.org/I168635309","https://openalex.org/I168635309"]},{"raw_affiliation_string":"Department of Mathematics & Statistics, University of Calgary, Alberta, Canada","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"Department of Computer Science, University of Calgary, Alberta, Canada","institution_ids":["https://openalex.org/I168635309","https://openalex.org/I168635309"]},{"raw_affiliation_string":"National Institute of Standards and Technology, Maryland, USA","institution_ids":["https://openalex.org/I1321296531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088001607","display_name":"Isabelle Jianing Geng","orcid":"https://orcid.org/0000-0002-0395-0429"},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]},{"id":"https://openalex.org/I1321296531","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416","country_code":"US","type":"government","lineage":["https://openalex.org/I1321296531","https://openalex.org/I1343035065"]}],"countries":["CA","US"],"is_corresponding":false,"raw_author_name":"Isabelle Jianing Geng","raw_affiliation_strings":["Department of Computer Science, University of Calgary, Alberta, Canada","Department of Mathematics & Statistics, University of Calgary, Alberta, Canada","Institute for Quantum Science and Technology, University of Calgary, Alberta, Canada","National Institute of Standards and Technology, Maryland, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Calgary, Alberta, Canada","institution_ids":["https://openalex.org/I168635309","https://openalex.org/I168635309"]},{"raw_affiliation_string":"Institute for Quantum Science and Technology, University of Calgary, Alberta, Canada","institution_ids":["https://openalex.org/I168635309","https://openalex.org/I168635309"]},{"raw_affiliation_string":"Department of Mathematics & Statistics, University of Calgary, Alberta, Canada","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"National Institute of Standards and Technology, Maryland, USA","institution_ids":["https://openalex.org/I1321296531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020284204","display_name":"Carlo Maria Scandolo","orcid":"https://orcid.org/0000-0001-6972-4881"},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]},{"id":"https://openalex.org/I1321296531","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416","country_code":"US","type":"government","lineage":["https://openalex.org/I1321296531","https://openalex.org/I1343035065"]}],"countries":["CA","US"],"is_corresponding":false,"raw_author_name":"Carlo Maria Scandolo","raw_affiliation_strings":["Department of Computer Science, University of Calgary, Alberta, Canada","Department of Mathematics & Statistics, University of Calgary, Alberta, Canada","Institute for Quantum Science and Technology, University of Calgary, Alberta, Canada","National Institute of Standards and Technology, Maryland, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Calgary, Alberta, Canada","institution_ids":["https://openalex.org/I168635309","https://openalex.org/I168635309"]},{"raw_affiliation_string":"Institute for Quantum Science and Technology, University of Calgary, Alberta, Canada","institution_ids":["https://openalex.org/I168635309","https://openalex.org/I168635309"]},{"raw_affiliation_string":"Department of Mathematics & Statistics, University of Calgary, Alberta, Canada","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"National Institute of Standards and Technology, Maryland, USA","institution_ids":["https://openalex.org/I1321296531"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048945636","display_name":"Priyaa Varshinee Srinivasan","orcid":null},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]},{"id":"https://openalex.org/I1321296531","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416","country_code":"US","type":"government","lineage":["https://openalex.org/I1321296531","https://openalex.org/I1343035065"]}],"countries":["CA","US"],"is_corresponding":false,"raw_author_name":"Priyaa Varshinee Srinivasan","raw_affiliation_strings":["Department of Computer Science, University of Calgary, Alberta, Canada","Department of Mathematics & Statistics, University of Calgary, Alberta, Canada","Institute for Quantum Science and Technology, University of Calgary, Alberta, Canada","National Institute of Standards and Technology, Maryland, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Calgary, Alberta, Canada","institution_ids":["https://openalex.org/I168635309","https://openalex.org/I168635309"]},{"raw_affiliation_string":"Institute for Quantum Science and Technology, University of Calgary, Alberta, Canada","institution_ids":["https://openalex.org/I168635309","https://openalex.org/I168635309"]},{"raw_affiliation_string":"Department of Mathematics & Statistics, University of Calgary, Alberta, Canada","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"National Institute of Standards and Technology, Maryland, USA","institution_ids":["https://openalex.org/I1321296531"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":0,"currency":"USD","value_usd":0,"provenance":"doaj"},"apc_paid":null,"fwci":0.615,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":2,"citation_normalized_percentile":{"value":0.529255,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":79,"max":84},"biblio":{"volume":"380","issue":null,"first_page":"203","last_page":"223"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.9987,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.9987,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.9986,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9984,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.6672326},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.59820104},{"id":"https://openalex.org/C197657726","wikidata":"https://www.wikidata.org/wiki/Q174733","display_name":"Bipartite graph","level":3,"score":0.559401},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.5575206},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.52835613},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5176133},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5173254},{"id":"https://openalex.org/C121040770","wikidata":"https://www.wikidata.org/wiki/Q215675","display_name":"Quantum entanglement","level":3,"score":0.51267755},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.43682075},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35105336},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34988517},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.21989554},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08934072},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.380.12","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2022.12.pdf","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2206.09784","pdf_url":"https://arxiv.org/pdf/2206.09784","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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.380.12","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2022.12.pdf","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.71,"id":"https://metadata.un.org/sdg/10"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":35,"referenced_works":["https://openalex.org/W189715775","https://openalex.org/W1930481778","https://openalex.org/W1964148974","https://openalex.org/W1978553093","https://openalex.org/W1993765178","https://openalex.org/W1993828178","https://openalex.org/W2020725861","https://openalex.org/W2030055440","https://openalex.org/W2036160002","https://openalex.org/W2075405735","https://openalex.org/W2096204190","https://openalex.org/W2124809380","https://openalex.org/W2161339715","https://openalex.org/W2478708596","https://openalex.org/W2478925536","https://openalex.org/W2493333586","https://openalex.org/W2519383683","https://openalex.org/W2808319042","https://openalex.org/W2914708617","https://openalex.org/W2975384469","https://openalex.org/W2990961515","https://openalex.org/W3036023667","https://openalex.org/W3037737784","https://openalex.org/W3087837764","https://openalex.org/W3098165131","https://openalex.org/W3101682161","https://openalex.org/W3103874892","https://openalex.org/W3104540346","https://openalex.org/W3124041143","https://openalex.org/W3144969279","https://openalex.org/W4210839962","https://openalex.org/W4253666772","https://openalex.org/W4292058084","https://openalex.org/W4297944615","https://openalex.org/W4376474620"],"related_works":["https://openalex.org/W3013576436","https://openalex.org/W2999799752","https://openalex.org/W2953461625","https://openalex.org/W2799161558","https://openalex.org/W2372768926","https://openalex.org/W2371352078","https://openalex.org/W2115167491","https://openalex.org/W2080136900","https://openalex.org/W2077383796","https://openalex.org/W2054458431"],"abstract_inverted_index":{"In":[0],"this":[1,96],"paper":[2],"we":[3,98,124],"generalize":[4,67],"the":[5,32,35,38,41,46,63,68,189],"framework":[6,53,108,131,167],"proposed":[7],"by":[8,169],"Gour":[9],"and":[10,43,60,93,111,135,153,192],"Tomamichel":[11,44],"regarding":[12],"extensions":[13,73,103,114,120],"of":[14,40,48,70,82,89,115],"monotones":[15,50,145,156,175],"for":[16,20,132,176],"resource":[17,22,30,56,84,133,142],"theories.A":[18],"monotone":[19,72,197],"a":[21,25,55,79,91,105,130,195],"theory":[23,33,57,85,201],"assigns":[24],"real":[26],"number":[27],"to":[28,74,86,109,138,172,180,184,188,193,202],"each":[29],"in":[31],"signifying":[34],"utility":[36],"or":[37],"value":[39],"resource.Gour":[42],"studied":[45],"problem":[47,69],"extending":[49,155],"using":[51,121,161],"set-theoretical":[52],"when":[54,76],"embeds":[58],"fully":[59],"faithfully":[61],"into":[62,149],"larger":[64],"theory.One":[65],"can":[66],"computing":[71],"scenarios":[75],"there":[77],"exists":[78],"functorial":[80],"transformation":[81],"one":[83],"another":[87],"instead":[88],"just":[90],"full":[92],"faithful":[94],"inclusion.In":[95],"article,":[97],"show":[99,164],"that":[100],"(point-wise)":[101],"Kan":[102,122,162],"provide":[104],"precise":[106],"categorical":[107],"describe":[110,144,154],"compute":[112],"such":[113],"monotones.To":[116],"set":[117],"up":[118],"monontone":[119],"extensions,":[123],"introduce":[125],"partitioned":[126],"categories":[127],"(pCat)":[128],"as":[129,146],"theories":[134],"pCat":[136,147,159],"functors":[137,148],"formalize":[139],"relationship":[140],"between":[141],"theories.We":[143],"([0,":[150],"\u221e],":[151],"\u2264),":[152],"along":[157],"any":[158],"functor":[160],"extensions.We":[163],"how":[165],"our":[166],"works":[168],"applying":[170],"it":[171],"extend":[173,185,194],"entanglement":[174],"bipartite":[177,181],"pure":[178],"states":[179],"mixed":[182],"states,":[183],"classical":[186,199],"divergences":[187],"quantum":[190,203],"setting,":[191],"non-uniformity":[196],"from":[198],"probabilistic":[200],"theory.":[204]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4385342950","counts_by_year":[{"year":2023,"cited_by_count":2}],"updated_date":"2024-12-22T01:15:13.726867","created_date":"2023-07-29"}