乐胖代购免代理版

{"id":"https://openalex.org/W4385342961","doi":"https://doi.org/10.4204/eptcs.380.10","title":"Differential 2-rigs","display_name":"Differential 2-rigs","publication_year":2023,"publication_date":"2023-07-28","ids":{"openalex":"https://openalex.org/W4385342961","doi":"https://doi.org/10.4204/eptcs.380.10"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.380.10","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2022.10.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_indexed_in_scopus":false,"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.10.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Fosco Loregian","raw_affiliation_strings":["Tallinn University of Technology, Tallinn, Estonia"],"affiliations":[{"raw_affiliation_string":"Tallinn University of Technology, Tallinn, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056157956","display_name":"Todd Trimble","orcid":null},"institutions":[{"id":"https://openalex.org/I204366597","display_name":"Western Connecticut State University","ror":"https://ror.org/01565p617","country_code":"US","type":"education","lineage":["https://openalex.org/I204366597","https://openalex.org/I4210132746"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Todd Trimble","raw_affiliation_strings":["Western Connecticut State University, Danbury, CT"],"affiliations":[{"raw_affiliation_string":"Western Connecticut State University, Danbury, CT","institution_ids":["https://openalex.org/I204366597"]}]}],"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.781,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":1,"citation_normalized_percentile":{"value":0.549866,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":67,"max":78},"biblio":{"volume":"380","issue":null,"first_page":"159","last_page":"182"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.9901,"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"}},"topics":[{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.9901,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9802,"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/T11567","display_name":"semigroups and automata theory","score":0.9549,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/coproduct","display_name":"Coproduct","score":0.69751215},{"id":"https://openalex.org/keywords/category-theory","display_name":"Category theory","score":0.4997263},{"id":"https://openalex.org/keywords/cartesian-closed-category","display_name":"Cartesian closed category","score":0.4315346}],"concepts":[{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.6992891},{"id":"https://openalex.org/C36259021","wikidata":"https://www.wikidata.org/wiki/Q692689","display_name":"Coproduct","level":2,"score":0.69751215},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.63872325},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.5549204},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.54601914},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.5174573},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.51455754},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.4997263},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4912483},{"id":"https://openalex.org/C98912367","wikidata":"https://www.wikidata.org/wiki/Q17103860","display_name":"Symmetric monoidal category","level":3,"score":0.48716423},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.43651485},{"id":"https://openalex.org/C171032842","wikidata":"https://www.wikidata.org/wiki/Q1725874","display_name":"Cartesian closed category","level":2,"score":0.4315346},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4144556},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32060438},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.16529486},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.13958922},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1340423},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"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/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.380.10","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2022.10.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_indexed_in_scopus":false,"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/2103.00938","pdf_url":"https://arxiv.org/pdf/2103.00938","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.4204/eptcs.380.10","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2022.10.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_indexed_in_scopus":false,"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":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":50,"referenced_works":["https://openalex.org/W104819362","https://openalex.org/W12827263","https://openalex.org/W1497483179","https://openalex.org/W1510078069","https://openalex.org/W1528326162","https://openalex.org/W1560726565","https://openalex.org/W1568920157","https://openalex.org/W1590727593","https://openalex.org/W1859542606","https://openalex.org/W1908473049","https://openalex.org/W1977049875","https://openalex.org/W1988982133","https://openalex.org/W1989143833","https://openalex.org/W1996835490","https://openalex.org/W2015034783","https://openalex.org/W2017778827","https://openalex.org/W2019945347","https://openalex.org/W2034621723","https://openalex.org/W2038549908","https://openalex.org/W2041822125","https://openalex.org/W2045484872","https://openalex.org/W2076725645","https://openalex.org/W2077522148","https://openalex.org/W2093914815","https://openalex.org/W2101433240","https://openalex.org/W2116813111","https://openalex.org/W2125146300","https://openalex.org/W2129064963","https://openalex.org/W2148034910","https://openalex.org/W2151404275","https://openalex.org/W2155415173","https://openalex.org/W2168266035","https://openalex.org/W2408297206","https://openalex.org/W28199043","https://openalex.org/W2911865844","https://openalex.org/W2912491156","https://openalex.org/W2962828492","https://openalex.org/W3011940842","https://openalex.org/W3099757472","https://openalex.org/W3136786421","https://openalex.org/W3157808854","https://openalex.org/W4232277105","https://openalex.org/W4287162660","https://openalex.org/W4287816481","https://openalex.org/W4300844398","https://openalex.org/W4323654263","https://openalex.org/W630415419","https://openalex.org/W643620113","https://openalex.org/W79096586","https://openalex.org/W93695394"],"related_works":["https://openalex.org/W4387559974","https://openalex.org/W4240421017","https://openalex.org/W3195131140","https://openalex.org/W2995356165","https://openalex.org/W2963810482","https://openalex.org/W2316040467","https://openalex.org/W2118319342","https://openalex.org/W2050478998","https://openalex.org/W1583784885","https://openalex.org/W1530894146"],"abstract_inverted_index":{"We":[0,92],"study":[1],"the":[2,36,76,114],"notion":[3],"of":[4,35,49,62,75,78,110],"a":[5,8,14,32,43,66,73,85,97,107,119],"\"differential":[6],"2-rig\",":[7],"category":[9,109],"R":[10,27,29],"with":[11,22],"coproducts":[12],"and":[13,57,99],"monoidal":[15],"structure":[16],"distributing":[17],"over":[18],"them,":[19],"also":[20],"equipped":[21],"an":[23],"endofunctor":[24],"D":[25],":":[26],"->":[28],"that":[30],"satisfies":[31],"categorified":[33],"analogue":[34],"Leibniz":[37],"rule.":[38],"This":[39],"is":[40,113],"intended":[41],"as":[42],"tool":[44],"to":[45,52,72],"unify":[46],"various":[47,102],"applications":[48],"such":[50],"categories":[51],"computer":[53],"science,":[54],"algebraic":[55],"topology,":[56],"enumerative":[58],"combinatorics.":[59],"The":[60],"theory":[61,77],"differential":[63,116],"2-rigs":[64],"has":[65],"geometric":[67],"flavour":[68],"but":[69],"boils":[70],"down":[71],"specialization":[74],"tensorial":[79],"strengths":[80],"on":[81,96,118],"endofunctors;":[82],"this":[83],"builds":[84],"surprising":[86],"connection":[87],"between":[88],"apparently":[89],"disconnected":[90],"fields.":[91],"build":[93],"\"free":[94],"2-rigs\"":[95],"signature,":[98],"we":[100],"prove":[101],"initiality":[103],"results:":[104],"for":[105],"example,":[106],"certain":[108],"colored":[111],"species":[112],"free":[115],"2-rig":[117],"single":[120],"generator.":[121]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4385342961","counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-01-18T11:42:05.549631","created_date":"2023-07-29"}