{“id”:“https://openalex.org/W2153583112“,”doi“:”https://doi.org/10.1145/2603088.2603153“,”title“:”同伦类型理论中的Eilenberg-MacLane空间“,”display_name“:”同伦类型理论的Eilemberg-MacLane-spaces“,”publication_year“:2014,”publitation_date“:”2014-07-14“,”ids“:{”openalex“:”https://openalex.org/W2153583112“,”doi“:”https://doi.org/10.1145/2603088.2603153“,”mag“:”2153583112“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1145/2603088.2603153“,”pdf_url“:null,”source“:nul,”license“:null',”licence_id“:null,”version“:nuller,”is_accepted“:false,”is_published“:false},”type“:”article“,”type_crossref“:“proceedings-article”,”indexed_in“:[”crossref“],”open_access“:{”is_oa“:true,”oa_status“:”green“,”“oa_url”:“”http://dlicaa.web.wesleyan.edu/pubs/lf14em/lf14em.pdf“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5009198759“,”display_name“:”Daniel R.Licata“,”orcid“:”https://orcid.org/0000-0003-0697-7405},“机构”:[{“id”:https://openalex.org/I100538780“,”display_name“:”卫斯理大学“,”ror“:”https://ror.org/05h7xva58“,”country_code“:”US“,”type“:“教育”,”世系“:[”https://openalex.org/I100538780“]}],”国家“:[”美国“],”is_corresponding“:false,”raw_author_name“:”Daniel R.Licata“,”raw _affiliation_strings“:[“卫斯理大学”],”affiliations“:[{”raw _affiliation_string“:”卫斯理学院“,”institution_ids“:[https://openalex.org/I100538780“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5001438390“,”display_name“:”Eric Finster“,”orcid“:”https://orcid.org/0000-0002-6027-7488},“机构”:[{“id”:https://openalex.org/I1326498283“,”display_name“:”法国计算机科学与自动化研究所“,”ror“:”https://ror.org/02kvxyf05“,”country_code“:”FR“,”type“:“政府”,”世系“:[”https://openalex.org/I1326498283“]}],”国家“:[”FR“],”is_corresponding“:false,”raw_author_name“:”Eric Finster“,”raw _affiliation_strings“:[“Inria Paris Rocquencourt”],”affiliations“:[{”raw _affiliation_string“:”Inria Paris Rocquencourt“,”institution_ids“:[”https://openalex.org/I1326498283“]}]}],”countries_distinct_count“:2,”institutions_disting_count”:2,“corresponding_author_ids”:[],”correspounding_institution_ids“:[]、”apc_list“:null,”apc_payed“:null,”fwci“:13.716,”has_fulltext“:true,”fulltext_origin“:”ngrams“,”cited_by_count lio“:{”volume“:null,”issue“:nul,”first_page“:null,”last_page“:null},”is_retracted“:false,”is_paratext“:fase,”primary_topic“:{”id“:”https://openalex.org/T10896“,”display_name“:”泊松流形的变形量化“,”score“:0.9985,”subfield“:{”id“:”https://openalex.org/subfields/2610“,”display_name“:”数学物理“},”字段“:{”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“:”泊松流形的变形量化“,”score“:0.9985,”subfield“:{”id“:”https://openalex.org/subfields/2610“,”display_name“:”数学物理“},”字段“:{”id“:”https://openalex.org/fields/26“,”display_name“:”Mathematics“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T10061“,”“display_name”:“代数几何与模理论”,“score”:0.9893,“subfield”:{“id”:“https://openalex.org/subfields/2608“,”display_name“:”几何和拓扑“},”字段“:{”id“:”https://openalex.org/fields/26“,”display_name“:”Mathematics“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T11151“,”display_name“:”模型理论与拓扑动力学“,”score“:0.9797,”subfield“:{”id“:”https://openalex.org/subfields/2608“,”display_name“:”几何和拓扑“},”字段“:{”id“:”https://openalex.org/fields/26“,”display_name“:”Mathematics“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}}],”关键词“:[{”id“:”https://openalex.org/keywords/hometopy-theory“,”display_name“:”同源理论“,”score“:0.51783}],”concepts“:[{”id“:”https://openalex.org/C191752858,“wikidata”:https://www.wikidata.org/wiki/Q6358325“,”display_name“:”n-connected“,”level“:3,”score“:0.76852477},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.7581763},{”id“:”https://openalex.org/C5961521,“wikidata”:https://www.wikidata.org/wiki/Q746083“,”display_name“:”同伦“,”level“:2,”score“:0.7151323},{”id“:”https://openalex.org/C150275644,“wikidata”:https://www.wikidata.org/wiki/Q1048949“,”display_name“:”Cofibration“,”level“:5,”score“:0.68786675},{”id“:”https://openalex.org/C6976274,“wikidata”:https://www.wikidata.org/wiki/Q5349490“,”display_name“:”Eilenberg\u2013MacLane space“,”level“:4,”score“:0.64789504},{”id“:”https://openalex.org/C147688034,“wikidata”:https://www.wikidata.org/wiki/Q1626416“,”display_name“:”同伦群“,”level“:3,”score“:0.63091767},{”id“:”https://openalex.org/C93682546,“wikidata”:https://www.wikidata.org/wiki/Q1056428“,”display_name“:”类型理论“,”level“:3,”score“:0.58904266},{”id“:”https://openalex.org/C164043645,“wikidata”:https://www.wikidata.org/wiki/Q16879377“,”display_name“:”同伦假设“,”level“:5,”score“:0.57178575},{”id“:”https://openalex.org/C79236096,“wikidata”:https://www.wikidata.org/wiki/Q14775269“,”display_name“:”同伦类别“,”level“:3,”score“:0.568882},{”id“:”https://openalex.org/C136119220,“wikidata”:https://www.wikidata.org/wiki/Q1000660“,”“display_name”“:”“域上的代数”“,”level“:2,”score“:0.54894316},{”id“:”https://openalex.org/C35234519,“wikidata”:https://www.wikidata.org/wiki/Q3983973“,”display_name“:”同伦提升属性“,”level“:4,”score“:0.5422491},{”id“:”https://openalex.org/C108710211,“wikidata”:https://www.wikidata.org/wiki/Q11538“,”display_name“:”数学证明“,”level“:2,”score“:0.52668536},{”id“:”https://openalex.org/C18003601,“wikidata”:https://www.wikidata.org/wiki/Q5891833“,”display_name“:”同伦球体“,”level“:4,”score“:0.52626},{”id“:”https://openalex.org/C64694042,“wikidata”:https://www.wikidata.org/wiki/Q5128445“,”display_name“:”分类空格“,”level“:3,”score“:0.523162},{”id“:”https://openalex.org/C202444582,“wikidata”:https://www.wikidata.org/wiki/Q837863“,”display_name“:”纯数学“,”level“:1,”score“:0.47534442},{”id“:”https://openalex.org/C27777299769,“wikidata”:https://www.wikidata.org/wiki/Q3707858“,”display_name“:”Type(biology)“,”level“:2,”score“:0.46862203},{”id“:”https://openalex.org/C78606066,“wikidata”:https://www.wikidata.org/wiki/Q1198376“,”display_name“:”Cohomology“,”level“:2,”score“:0.44784868},{”id“:”https://openalex.org/C18903297,“wikidata”:https://www.wikidata.org/wiki/Q7150“,”display_name“:”生态学“,”level“:1,”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/C86803240,“wikidata”:https://www.wikidata.org/wiki/Q420“,”display_name“:”Biology“,”level“:0,”score“:0.0}],”mesh“:[],”locations_count“:2,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1145/2603088.2603153“,”pdf_url“:null,”source“:null,”license“:nully,”licence_id“:null,”version“:nuller,”is_accepted“:false,”is_published“:false},{”is_oa“:true,”landing_page_url”:“http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.677.2229,“pdf_url”:http://dlicaa.web.wesleyan.edu/pubs/lf14em/lf14em.pdf,“源”:{“id”:https://openalex.org/S4306400349“,”display_name“:”CiteSeer X(宾夕法尼亚州立大学)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/I130769515“,”“host_organization_name”:“宾夕法尼亚州立大学”,“host_ordanization_lineage”:[“https://openalex.org/I130769515“],”host_organization_lineage_names“:[”Pennsylvania State University“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false}],“best_oa_location”:{“is_oa”:true,“landing_page_url”:“http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.677.2229,“pdf_url”:http://dlicaa.web.wesleyan.edu/pubs/lf14em/lf14em.pdf,“源”:{“id”:https://openalex.org/S4306400349“,”display_name“:”CiteSeer X(宾夕法尼亚州立大学)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/I130769515“,”“host_organization_name”:“宾夕法尼亚州立大学”,“host_ordanization_lineage”:[“https://openalex.org/I130769515“],”host_organization_lineage_names“:[”宾夕法尼亚州立大学“],”type“:”repository“},”license“:null,”license_id“:null,”version“:”submittedVersion“,”is_accepted“:false,”is_published“:false},”sustainable_development_goals“:[],”grants“:[{”funder“:”https://openalex.org/F4320308316“,”“funder_display_name”:“高等研究院”,“award_id”:null},{“funder”:“https://openalex.org/F4320337380“,”“funder_display_name”:“数学科学部”,“award_id”:“DMS-1128155”}],“数据集”:[],“版本”:[],“referenced_works_count”:13,“referrenced_works”:[”https://openalex.org/W1884902993","https://openalex.org/W2018415539","https://openalex.org/W2062764235","https://openalex.org/W2158324835","https://openalex.org/W2170599098","https://openalex.org/W2756921402","https://openalex.org/W3100912421","https://openalex.org/W3102482356","https://openalex.org/W3106009785","https://openalex.org/W4247853537","https://openalex.org/W4290655614","https://openalex.org/W4300601253","https://openalex.org/W84482504“],”related_works“:[”https://openalex.org/W939169393","https://openalex.org/W635494559","https://openalex.org/W4327495897","https://openalex.org/W2153583112","https://openalex.org/W1966906304","https://openalex.org/W1607743353","https://openalex.org/W1522115346","https://openalex.org/W1511021991","https://openalex.org/W1510022467","https://openalex.org/W121514703“],”ngrams_url“:”https://api.openalex.org/works/W2153583112/ngrams“,”“abstract_inverted_index”:{“同伦”:[0],“类型”:[1,8,22124145],“理论”:[2,9,15,23125146],“是”:[3,37,71,79126],“an”:[4,63,67127],“扩展”:[5],“of”:[6,30,59115134],“Martin-L\u00f6f”:[7],“with”:[10106117],“原理”:[11],“灵感”:[12],“by”:[13],“类别”:[14],“and”:[16,49,81110137],“同伦”:[17,77,83108144],“理论”:[18],“带“:[19],”these“:[20],”extensions“,”can:[24100],”be“:[25101],”used“:[2610142],”to“:[27,40103111],”construct“:[28],”proof“:[29,42],”同伦理论“:[31],”定理“:[32],”in“:[33,43,94119123143],”a“:[34,56,72,91],”way“:[35],”that“:[36139],”非常“:[38],“顺从”:[39],“计算机检查”:[41,57],“证明”:[44],“助手”:[45],“例如“:[46]”、“:[47]”、《考克》:[48]、“阿格达”。“:[50],”In“:[51],”this“:[52],”paper“:[53],”we“:[P4],”give“:[55],”construction“:[58122],”Eilenberg-MacLane“:[60,68],”spaces。“:[61],”对于“:[62],”阿贝尔“:[64],”组“:[65,78],”G“:[66,80],”空格“:[69,73],”K(G,n)“:[70],”(类型)“:%74],”其“:[75,82],”n“:[76],”群“:[84],”是“:[85,90],”平凡“:[86],”否则。“:[87],”这些“:[88],”空格“:[89105],”基本“:[92],”工具“:[93],”代数“:[95],”拓扑;“:[96],”for“:[97],”example,“:[98129],”Their“:[99],”build“:[104],”specified“:%107],”groups,“:[109],”define“:[112],”the“:[11315],”concept“:[114],”cohomology“:[116],”efficifications“:[118],”G.“:[120],”Their“:[121],”illuminactive“:%128],”which“:[130],”ties“:[131],”together“[132],“many”:[133],“constructions”:[136],“methods”:[138],“have”:[140],“been”:[141],“so”:[147],“远”:[148]},“cited_by_api_url”:“https://api.openalex.org/works?filter=cites:W2153583112”,“counts_by_year”:[{“year”:2024,“cited_by_count”:1},{“year”:2023,“cited_by_count”:4},{“year”:2022,“cited_by_count”:1},{“year”:2021,“cited_by_count”:5},{“year”:2020,“cited_by_count”:4},{“year”:2019,“cited_by_count”:7},{“year”:2018,“cited_by_count”:3},{“year”:2017,“cited_by_count”by_count“:5},{“年份”:2016,“cited_by_count”:4},{“年份”:2015,“cited_by_count”:6},{“年份”:2014,“引用_ by_count”:2},{”年份“:2012,”引用_ by-count“:1}],”更新日期“:“2024-06-21T04:56:41.309371”,“创建日期”:“2016-06-24”}