{"id":"https://openalex.org/W2795809996","doi":"https://doi.org/10.23638/lmcs-16(1:4)2020","title":"A Categorical Reconstruction of Quantum Theory","display_name":"A Categorical Reconstruction of Quantum Theory","publication_year":2020,"publication_date":"2020-01-17","ids":{"openalex":"https://openalex.org/W2795809996","doi":"https://doi.org/10.23638/lmcs-16(1:4)2020","mag":"2795809996"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-16(1:4)2020","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-16(1:4)2020","pdf_url":"https://lmcs.episciences.org/6035/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/6035/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047819773","display_name":"Sean Tull","orcid":null},"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"]},{"id":"https://openalex.org/I4210146410","display_name":"Science Oxford","ror":"https://ror.org/04j8yhy50","country_code":"GB","type":"nonprofit","lineage":["https://openalex.org/I4210146410"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Sean Tull","raw_affiliation_strings":["Department of Computer Science , University of Oxford"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science , University of Oxford","institution_ids":["https://openalex.org/I40120149","https://openalex.org/I4210146410"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5047819773"],"corresponding_institution_ids":["https://openalex.org/I40120149","https://openalex.org/I4210146410"],"apc_list":null,"apc_paid":null,"fwci":0.826,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.70813237,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"Volume 16, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.9991999864578247,"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.9991999864578247,"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9958999752998352,"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/T10778","display_name":"Philosophy and History of Science","score":0.9927999973297119,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.8027796745300293},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.742263913154602},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.570671796798706},{"id":"https://openalex.org/keywords/hilbert-space","display_name":"Hilbert space","score":0.5674130320549011},{"id":"https://openalex.org/keywords/categorical-quantum-mechanics","display_name":"Categorical quantum mechanics","score":0.5448567271232605},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4969506561756134},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4837062954902649},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.43234774470329285},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.431611567735672},{"id":"https://openalex.org/keywords/category-theory","display_name":"Category theory","score":0.4205426573753357},{"id":"https://openalex.org/keywords/theoretical-physics","display_name":"Theoretical physics","score":0.3396030068397522},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33850130438804626},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3333783745765686},{"id":"https://openalex.org/keywords/quantum-operation","display_name":"Quantum operation","score":0.23905587196350098},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.23832818865776062},{"id":"https://openalex.org/keywords/open-quantum-system","display_name":"Open quantum system","score":0.15320813655853271},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.15222349762916565},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.08462458848953247}],"concepts":[{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.8027796745300293},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.742263913154602},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.570671796798706},{"id":"https://openalex.org/C62799726","wikidata":"https://www.wikidata.org/wiki/Q190056","display_name":"Hilbert space","level":2,"score":0.5674130320549011},{"id":"https://openalex.org/C105295557","wikidata":"https://www.wikidata.org/wiki/Q5051814","display_name":"Categorical quantum mechanics","level":5,"score":0.5448567271232605},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4969506561756134},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4837062954902649},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.43234774470329285},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.431611567735672},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.4205426573753357},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.3396030068397522},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33850130438804626},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3333783745765686},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.23905587196350098},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.23832818865776062},{"id":"https://openalex.org/C190474826","wikidata":"https://www.wikidata.org/wiki/Q2495111","display_name":"Open quantum system","level":3,"score":0.15320813655853271},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.15222349762916565},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.08462458848953247},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.23638/lmcs-16(1:4)2020","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-16(1:4)2020","pdf_url":"https://lmcs.episciences.org/6035/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1804.02265","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1804.02265","pdf_url":"https://arxiv.org/pdf/1804.02265","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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.1804.02265","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1804.02265","pdf_url":null,"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":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:3003541956","is_oa":true,"landing_page_url":"https://dblp.uni-trier.de/db/journals/corr/corr1804.html#abs-1804-02265","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Logical Methods in Computer Science","raw_type":null}],"best_oa_location":{"id":"doi:10.23638/lmcs-16(1:4)2020","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-16(1:4)2020","pdf_url":"https://lmcs.episciences.org/6035/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321013","display_name":"Radboud Universiteit","ror":"https://ror.org/016xsfp80"},{"id":"https://openalex.org/F4320322874","display_name":"Universit\u00e0 degli Studi di Pavia","ror":"https://ror.org/00s6t1f81"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2795809996.pdf","grobid_xml":"https://content.openalex.org/works/W2795809996.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W1560468594","https://openalex.org/W1616247518","https://openalex.org/W1752338530","https://openalex.org/W1822259911","https://openalex.org/W1858598740","https://openalex.org/W1971585707","https://openalex.org/W1982928587","https://openalex.org/W1985079222","https://openalex.org/W2040870895","https://openalex.org/W2069974662","https://openalex.org/W2084269802","https://openalex.org/W2113235349","https://openalex.org/W2119180894","https://openalex.org/W2127640939","https://openalex.org/W2131283815","https://openalex.org/W2137852732","https://openalex.org/W2148098913","https://openalex.org/W2150741734","https://openalex.org/W2150909030","https://openalex.org/W2298384455","https://openalex.org/W2912886088","https://openalex.org/W2994934720","https://openalex.org/W3099162983","https://openalex.org/W3099191420","https://openalex.org/W3100693329","https://openalex.org/W3106364718","https://openalex.org/W3159857754"],"related_works":["https://openalex.org/W2164569390","https://openalex.org/W2498490437","https://openalex.org/W2964150073","https://openalex.org/W4300855882","https://openalex.org/W2263606956","https://openalex.org/W3023538745","https://openalex.org/W1922299434","https://openalex.org/W2318440945","https://openalex.org/W3180855406","https://openalex.org/W2964217961"],"abstract_inverted_index":{"We":[0],"reconstruct":[1],"finite-dimensional":[2,36],"quantum":[3,37,83],"theory":[4,18,38,84],"from":[5],"categorical":[6,64],"principles.":[7],"That":[8],"is,":[9],"we":[10,79],"provide":[11],"properties":[12],"ensuring":[13],"that":[14,92],"a":[15,21,34,40],"given":[16],"physical":[17],"described":[19],"by":[20],"dagger":[22],"compact":[23],"category":[24],"in":[25,65,67],"which":[26],"one":[27],"may":[28],"`discard'":[29],"objects":[30],"is":[31],"equivalent":[32],"to":[33,50,76],"generalised":[35],"over":[39,93],"suitable":[41],"ring":[42],"$S$.":[43],"The":[44],"principles":[45],"used":[46],"resemble":[47],"those":[48],"due":[49],"Chiribella,":[51],"D'Ariano":[52],"and":[53,60],"Perinotti.":[54],"Unlike":[55],"previous":[56],"reconstructions,":[57],"our":[58],"axioms":[59],"proof":[61],"are":[62],"fully":[63],"nature,":[66],"particular":[68],"not":[69],"requiring":[70],"tomography":[71],"assumptions.":[72],"Specialising":[73],"the":[74,88,100],"result":[75],"probabilistic":[77],"theories":[78],"obtain":[80],"either":[81],"traditional":[82],"with":[85,97],"$S$":[86,98],"being":[87,99],"complex":[89],"numbers,":[90],"or":[91],"real":[94],"Hilbert":[95],"spaces":[96],"reals.":[101]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}