乐胖代购免代理版

{"id":"https://openalex.org/W4385349618","doi":"https://doi.org/10.4204/eptcs.380.17","title":"On the Pre- and Promonoidal Structure of Spacetime","display_name":"On the Pre- and Promonoidal Structure of Spacetime","publication_year":2023,"publication_date":"2023-07-28","ids":{"openalex":"https://openalex.org/W4385349618","doi":"https://doi.org/10.4204/eptcs.380.17"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.380.17","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2022.17.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.17.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083044872","display_name":"James Hefford","orcid":"https://orcid.org/0000-0002-6664-8657"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"James Hefford","raw_affiliation_strings":["University of Oxford, UK"],"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023841122","display_name":"Aleks Kissinger","orcid":"https://orcid.org/0000-0002-6090-9684"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Aleks Kissinger","raw_affiliation_strings":["University of Oxford, UK"],"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":0,"currency":"USD","value_usd":0,"provenance":"doaj"},"apc_paid":null,"fwci":0.922,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":3,"citation_normalized_percentile":{"value":0.999929,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":84,"max":88},"biblio":{"volume":"380","issue":null,"first_page":"284","last_page":"306"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.9957,"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.9957,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9907,"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/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9759,"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/manifold","display_name":"Manifold (fluid mechanics)","score":0.5025215}],"concepts":[{"id":"https://openalex.org/C130187892","wikidata":"https://www.wikidata.org/wiki/Q133327","display_name":"Spacetime","level":2,"score":0.6867427},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.64896226},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.6119528},{"id":"https://openalex.org/C51255310","wikidata":"https://www.wikidata.org/wiki/Q1163016","display_name":"Tensor product","level":2,"score":0.6025198},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5672859},{"id":"https://openalex.org/C529865628","wikidata":"https://www.wikidata.org/wiki/Q1790740","display_name":"Manifold (fluid mechanics)","level":2,"score":0.5025215},{"id":"https://openalex.org/C13336665","wikidata":"https://www.wikidata.org/wiki/Q125977","display_name":"Vector space","level":2,"score":0.4223436},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33951855},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.127485},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.380.17","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2022.17.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.09678","pdf_url":"https://arxiv.org/pdf/2206.09678","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.17","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2022.17.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":"Peace, justice, and strong institutions","score":0.81,"id":"https://metadata.un.org/sdg/16"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":19,"referenced_works":["https://openalex.org/W1859542606","https://openalex.org/W1969454298","https://openalex.org/W1999310924","https://openalex.org/W2008302628","https://openalex.org/W2062068040","https://openalex.org/W2070886143","https://openalex.org/W2101416179","https://openalex.org/W2102625227","https://openalex.org/W2733104918","https://openalex.org/W2950993906","https://openalex.org/W3098807922","https://openalex.org/W3104154742","https://openalex.org/W3104500086","https://openalex.org/W3106096932","https://openalex.org/W3106307604","https://openalex.org/W3114375010","https://openalex.org/W3186742413","https://openalex.org/W3198506840","https://openalex.org/W628774535"],"related_works":["https://openalex.org/W95605005","https://openalex.org/W4378499241","https://openalex.org/W4293316580","https://openalex.org/W3111804415","https://openalex.org/W2997389523","https://openalex.org/W2997091376","https://openalex.org/W2963289085","https://openalex.org/W1615487630","https://openalex.org/W1555265147","https://openalex.org/W133815982"],"abstract_inverted_index":{"The":[0,132,185],"notion":[1,73,117],"of":[2,46,74,84,101,113,118,127,158,162,173,181,190],"a":[3,54,59,64,70,110,119,130,194,198],"joint":[4,37,47,75,120],"system,":[5],"as":[6,129],"captured":[7],"by":[8,29,63],"the":[9,17,31,44,116,159,188,202,218],"monoidal":[10,27,93],"(a.k.a.":[11],"tensor)":[12],"product,":[13],"is":[14,96,122],"fundamental":[15],"to":[16,21,35,81,137,152,178,213],"compositional,":[18],"process-theoretic":[19],"approach":[20],"physical":[22],"theories.":[23],"Promonoidal":[24],"categories":[25,28],"generalise":[26],"replacing":[30],"functors":[32],"normally":[33],"used":[34],"form":[36],"systems":[38,48,76,128,140,154,215],"with":[39,197,207],"profunctors.":[40],"Intuitively,":[41],"this":[42,205],"allows":[43],"formation":[45],"which":[49,155],"may":[50],"not":[51],"always":[52],"give":[53,109],"system":[55,61,121],"again,":[56],"but":[57],"instead":[58],"generalised":[60,211],"given":[62],"presheaf.":[65,131],"This":[66],"extra":[67],"freedom":[68],"gives":[69],"new,":[71],"richer":[72],"that":[77,95,141,168,216],"can":[78],"be":[79],"applied":[80],"categorical":[82],"formulations":[83,88],"spacetime.":[85],"Whereas":[86],"previous":[87],"have":[89],"relied":[90],"on":[91,99],"partial":[92],"structure":[94,206],"only":[97],"defined":[98,123],"pairs":[100],"independent":[102],"(i.e.":[103],"spacelike":[104,145],"separated)":[105],"systems,":[106,146],"here":[107],"we":[108],"concrete":[111],"formulation":[112],"spacetime":[114,191],"where":[115],"for":[124],"any":[125],"pair":[126],"representable":[133],"presheaves":[134,150],"correspond":[135,151],"precisely":[136],"those":[138],"actual":[139],"arise":[142],"from":[143],"combining":[144],"whereas":[147,201],"more":[148],"general":[149],"virtual":[153],"inherit":[156],"some":[157],"logical/compositional":[160],"properties":[161],"their":[163],"``actual''":[164],"counterparts.":[165],"We":[166],"show":[167],"there":[169],"are":[170],"two":[171],"ways":[172],"doing":[174],"this,":[175],"corresponding":[176],"roughly":[177],"relativistic":[179],"versions":[180],"conjunction":[182],"and":[183],"disjunction.":[184],"former":[186],"endows":[187],"category":[189],"slices":[192],"in":[193],"Lorentzian":[195],"manifold":[196],"promonoidal":[199],"structure,":[200],"latter":[203],"augments":[204],"an":[208],"(even":[209],"more)":[210],"way":[212],"combine":[214],"fails":[217],"interchange":[219],"law.":[220]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4385349618","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2}],"updated_date":"2024-12-22T01:15:13.970479","created_date":"2023-07-29"}