乐胖代购免代理版

{"id":"https://openalex.org/W3001712757","doi":"https://doi.org/10.32408/compositionality-6-1","title":"Profunctor Optics, a Categorical Update","display_name":"Profunctor Optics, a Categorical Update","publication_year":2024,"publication_date":"2024-02-23","ids":{"openalex":"https://openalex.org/W3001712757","doi":"https://doi.org/10.32408/compositionality-6-1","mag":"3001712757"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.32408/compositionality-6-1","pdf_url":"https://compositionality-journal.org/papers/compositionality-6-1/pdf/","source":{"id":"https://openalex.org/S4210182901","display_name":"Compositionality","issn_l":"2631-4444","issn":["2631-4444"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://compositionality-journal.org/papers/compositionality-6-1/pdf/","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062597385","display_name":"Bryce Clarke","orcid":"https://orcid.org/0000-0003-0579-2804"},"institutions":[{"id":"https://openalex.org/I99043593","display_name":"Macquarie University","ror":"https://ror.org/01sf06y89","country_code":"AU","type":"funder","lineage":["https://openalex.org/I99043593"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Bryce Clarke","raw_affiliation_strings":["Macquarie University, School of Mathematics and Physical Sciences, New South Wales, NSW2109, Australia"],"affiliations":[{"raw_affiliation_string":"Macquarie University, School of Mathematics and Physical Sciences, New South Wales, NSW2109, Australia","institution_ids":["https://openalex.org/I99043593"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022455622","display_name":"Derek Elkins","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Derek Elkins","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086558126","display_name":"Jeremy Gibbons","orcid":"https://orcid.org/0000-0002-8426-9917"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"funder","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jeremy Gibbons","raw_affiliation_strings":["University of Oxford, Department of Computer Science, 7 Parks Rd, Oxford OX1 3QG, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Oxford, Department of Computer Science, 7 Parks Rd, Oxford OX1 3QG, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048466854","display_name":"Fosco Loregi\u00e0n","orcid":"https://orcid.org/0000-0003-3052-465X"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"funder","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Fosco Loregian","raw_affiliation_strings":["Tallinn University of Technology, Department of Software Sciences, Ehitajate tee 5, 19086 Tallinn, Estonia"],"affiliations":[{"raw_affiliation_string":"Tallinn University of Technology, Department of Software Sciences, Ehitajate tee 5, 19086 Tallinn, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020751281","display_name":"B. Milewski","orcid":"https://orcid.org/0000-0001-9249-0104"},"institutions":[{"id":"https://openalex.org/I4210165971","display_name":"Comparative Aircraft Flight Efficiency Foundation","ror":"https://ror.org/05feyk235","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210165971"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bartosz Milewski","raw_affiliation_strings":["Programming Caf\u00e9"],"affiliations":[{"raw_affiliation_string":"Programming Caf\u00e9","institution_ids":["https://openalex.org/I4210165971"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070355075","display_name":"Emily Pillmore","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Emily Pillmore","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5026808332","display_name":"Mario Rom\u00e1n","orcid":"https://orcid.org/0000-0003-3158-1226"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"funder","lineage":["https://openalex.org/I111112146"]},{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"funder","lineage":["https://openalex.org/I40120149"]}],"countries":["EE","GB"],"is_corresponding":false,"raw_author_name":"Mario Rom\u00e1n","raw_affiliation_strings":["Tallinn University of Technology, Department of Software Sciences, Ehitajate tee 5, 19086 Tallinn, Estonia","University of Oxford, Department of Computer Science, 7 Parks Rd, Oxford OX1 3QG, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Tallinn University of Technology, Department of Software Sciences, Ehitajate tee 5, 19086 Tallinn, Estonia","institution_ids":["https://openalex.org/I111112146"]},{"raw_affiliation_string":"University of Oxford, Department of Computer Science, 7 Parks Rd, Oxford OX1 3QG, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]}],"institution_assertions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":0,"currency":"USD","value_usd":0},"apc_paid":null,"fwci":6.635,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":15,"citation_normalized_percentile":{"value":0.783701,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"6","issue":null,"first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.8346,"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"}},"topics":[{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.8346,"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/T12748","display_name":"Molecular spectroscopy and chirality","score":0.7854,"subfield":{"id":"https://openalex.org/subfields/1607","display_name":"Spectroscopy"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13885","display_name":"Geophysics and Sensor Technology","score":0.7727,"subfield":{"id":"https://openalex.org/subfields/2212","display_name":"Ocean Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.58970803}],"concepts":[{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.58970803},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4371915},{"id":"https://openalex.org/C119767625","wikidata":"https://www.wikidata.org/wiki/Q618211","display_name":"Optometry","level":1,"score":0.36137027},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.32910994},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.25847036},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.24141815},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.06619981}],"mesh":[],"locations_count":3,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.32408/compositionality-6-1","pdf_url":"https://compositionality-journal.org/papers/compositionality-6-1/pdf/","source":{"id":"https://openalex.org/S4210182901","display_name":"Compositionality","issn_l":"2631-4444","issn":["2631-4444"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:234fce92-38f7-40a2-bd80-f0f048c389d0","pdf_url":"https://ora.ox.ac.uk/objects/uuid:234fce92-38f7-40a2-bd80-f0f048c389d0/files/smk61rj44j","source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":["University of Oxford"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2001.07488","pdf_url":"http://arxiv.org/pdf/2001.07488","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":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.32408/compositionality-6-1","pdf_url":"https://compositionality-journal.org/papers/compositionality-6-1/pdf/","source":{"id":"https://openalex.org/S4210182901","display_name":"Compositionality","issn_l":"2631-4444","issn":["2631-4444"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":35,"referenced_works":["https://openalex.org/W1507692549","https://openalex.org/W1594841668","https://openalex.org/W1599663594","https://openalex.org/W1844523246","https://openalex.org/W1859542606","https://openalex.org/W1975411983","https://openalex.org/W1982162823","https://openalex.org/W2001619934","https://openalex.org/W2028227938","https://openalex.org/W2030649548","https://openalex.org/W2064138295","https://openalex.org/W2116813111","https://openalex.org/W2125713144","https://openalex.org/W2166351442","https://openalex.org/W2235620066","https://openalex.org/W2601103017","https://openalex.org/W2811401726","https://openalex.org/W2884227110","https://openalex.org/W2891718318","https://openalex.org/W2954487731","https://openalex.org/W2963187563","https://openalex.org/W2963683507","https://openalex.org/W2964300838","https://openalex.org/W2964664814","https://openalex.org/W2970135757","https://openalex.org/W2990129438","https://openalex.org/W3001963450","https://openalex.org/W3004380331","https://openalex.org/W3006945279","https://openalex.org/W3015288269","https://openalex.org/W3114375010","https://openalex.org/W3152372233","https://openalex.org/W4210839962","https://openalex.org/W4288266665","https://openalex.org/W4297573126"],"related_works":["https://openalex.org/W65104662","https://openalex.org/W4386799044","https://openalex.org/W4297454206","https://openalex.org/W2773208253","https://openalex.org/W2748952813","https://openalex.org/W2560646951","https://openalex.org/W2362286668","https://openalex.org/W2153339597","https://openalex.org/W2133382151","https://openalex.org/W1871748041"],"abstract_inverted_index":{"Optics":[0],"are":[1,20,60,70,87],"bidirectional":[2],"data":[3,7],"accessors":[4,33],"that":[5,29,81],"capture":[6],"transformation":[8],"patterns":[9],"such":[10],"as":[11],"accessing":[12],"subfields":[13],"or":[14],"iterating":[15],"over":[16],"containers.":[17],"Profunctor":[18,41],"optics":[19,42,119,133],"a":[21,101,145],"particular":[22],"choice":[23],"of":[24,58,132],"representation":[25],"supporting":[26],"modularity,":[27],"meaning":[28],"we":[30,78,143],"can":[31],"construct":[32],"for":[34,140],"complex":[35],"structures":[36,83],"by":[37,74,104],"combining":[38],"simpler":[39],"ones.":[40],"have":[43,79],"previously":[44],"been":[45],"studied":[46],"only":[47],"in":[48,54,62,84,95],"an":[49,137],"unenriched":[50],"and":[51,77,106,111,120,134],"non-mixed":[52],"setting,":[53],"which":[55],"both":[56],"directions":[57,93],"access":[59,92],"modelled":[61,94],"the":[63,85],"same":[64],"category.":[65],"However,":[66],"functional":[67],"programming":[68],"languages":[69],"arguably":[71],"better":[72],"described":[73],"enriched":[75],"categories;":[76],"found":[80],"some":[82,129],"literature":[86],"actually":[88],"mixed":[89,116],"optics,":[90],"with":[91,124],"different":[96],"categories.":[97],"Our":[98],"work":[99],"generalizes":[100],"classic":[102],"result":[103],"Pastro":[105],"Street":[107],"on":[108],"Tambara":[109],"theory":[110],"uses":[112],"it":[113],"to":[114,121],"describe":[115],"V-enriched":[117],"profunctor":[118],"endow":[122],"them":[123],"V-category":[125],"structure.":[126],"We":[127],"provide":[128],"original":[130],"families":[131],"derivations,":[135],"including":[136],"elementary":[138],"one":[139],"traversals.":[141],"Finally,":[142],"discuss":[144],"Haskell":[146],"implementation.":[147]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3001712757","counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":3}],"updated_date":"2025-04-17T00:35:39.709808","created_date":"2020-01-30"}