{ "meta": { "api_type": "NWO Projects API", "version": "1.0.2", "licence": { "name": "CC0 1.0 Universal", "url": "https://creativecommons.org/publicdomain/zero/1.0", "description": "To the extent possible under law, all copyright and related or neighbouring rights have been waived worldwide to the data made available through this API." }, "documentation": "https://doi.org/10.5281/zenodo.14918287", "release_date": "2025-08-20T00:00:00", "funder": "https://doi.org/10.13039/501100003246", "ror_id": "https://ror.org/04jsz6e67", "date": "2026-11-05T00:00:00", "count": 1, "per_page": 100, "pages": 1, "page": 1 }, "projects": [ { "project_id": "613.001.013", "title": "The logic of composite quantum systems", "funding_scheme_id": 2599, "funding_scheme": "TOP-subsidies - gebiedsoverschrijdend 2010 EW", "department": "Exacte en Natuurwetenschappen", "sub_department": "Exacte Wetenschappen", "start_date": "2011-09-01T00:00:00", "end_date": "2017-01-30T00:00:00", "reporting_year": 2010, "summary_nl": "Over the past decade, the possibility of quantum computers and the reality of quantum information theory have led to a remarkable cross-fertilization between computer science, mathematics, logic, and physics. This proposal lies in the interface of these fields, as reflected by a team of applicants consisting of a computer scientist, a mathematical physicist specializing in quantum theory, and a pure mathematician with a strong background in logic. Each of the applicants is the author of a monograph on a research topic of immediate relevance to this project: \n\n- B. Jacobs, Categorical Logic and Type Theory (Elsevier, Amsterdam, 1999).\n- N. P. Landsman, Mathematical Topics Between Classical and Quantum Mechanics (Springer, New York, 1998). \n- S. Mac Lane and I. Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Springer, New York, 1992).\n\nSubsequently, each was the recipient of an NWO ?Pionier? grant that was used to further develop and innovate these topics; the present project may be seen as a fusion of the three research lines in question. Our aim is, briefly, to combine two different branches of category theory (viz. tensor categories and topos theory) and to apply this combination to the logical analysis of composite quantum systems and quantum computation. We apply for €750k, to be spent on a postdoc (senior enough to relate the following topics to each other) and on three PhD students, working on three concrete subthemes: \n\n- Modularity in quantum computation;\n- Construction of examples of toposes with a nontrivial tensor structure;\n- Development of internal logic of ?tensor toposes?.\n\nThe three applicants will be in charge of individual themes as well as of the overall coherence of the project, enhanced by a PhD training programme and frequent joint activities. \n", "summary_en": "Over the past decade, the possibility of quantum computers and the reality of quantum information theory have led to a remarkable cross-fertilization between computer science, mathematics, logic, and physics. This proposal lies in the interface of these fields, as reflected by a team of applicants consisting of a computer scientist, a mathematical physicist specializing in quantum theory, and a pure mathematician with a strong background in logic. Each of the applicants is the author of a monograph on a research topic of immediate relevance to this project: \n\n- B. Jacobs, Categorical Logic and Type Theory (Elsevier, Amsterdam, 1999).\n- N. P. Landsman, Mathematical Topics Between Classical and Quantum Mechanics (Springer, New York, 1998). \n- S. Mac Lane and I. Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Springer, New York, 1992).\n\nSubsequently, each was the recipient of an NWO ?Pionier? grant that was used to further develop and innovate these topics; the present project may be seen as a fusion of the three research lines in question. Our aim is, briefly, to combine two different branches of category theory (viz. tensor categories and topos theory) and to apply this combination to the logical analysis of composite quantum systems and quantum computation. We apply for €750k, to be spent on a postdoc (senior enough to relate the following topics to each other) and on three PhD students, working on three concrete subthemes: \n\n- Modularity in quantum computation;\n- Construction of examples of toposes with a nontrivial tensor structure;\n- Development of internal logic of ?tensor toposes?.\n\nThe three applicants will be in charge of individual themes as well as of the overall coherence of the project, enhanced by a PhD training programme and frequent joint activities. \n", "project_members": [ { "role": "Researcher", "member_id": 84401, "last_name": "Schreiber", "degree_pre_nominal": "dr.", "initials": "U.S.", "first_name": "Urs", "organisation": "Radboud Universiteit Nijmegen||Faculteit der Natuurwetenschappen, Wiskunde en Informatica", "organisation_id": 49329, "ror": "https://ror.org/016xsfp80", "active": false }, { "role": "Researcher", "member_id": 241805, "last_name": "Lindenhovius", "degree_pre_nominal": "drs.", "initials": "A.J.", "first_name": "Bert (Albertus)", "organisation": "Radboud Universiteit Nijmegen||Faculteit der Natuurwetenschappen, Wiskunde en Informatica", "organisation_id": 49329, "ror": "https://ror.org/016xsfp80", "active": false }, { "role": "Researcher", "member_id": 247256, "last_name": "Furber", "degree_pre_nominal": "drs.", "initials": "R.W.J.", "first_name": "Robert", "organisation": "Radboud Universiteit Nijmegen||Faculteit der Natuurwetenschappen, Wiskunde en Informatica||Institute for Computing and Information Sciences (ICIS)", "organisation_id": 79553, "ror": "https://ror.org/016xsfp80", "active": false }, { "role": "Researcher", "member_id": 255579, "last_name": "Roumen", "initials": "F.A.", "organisation": "Radboud Universiteit Nijmegen||Faculteit der Natuurwetenschappen, Wiskunde en Informatica||Institute for Computing and Information Sciences (ICIS)", "organisation_id": 79553, "ror": "https://ror.org/016xsfp80", "active": false }, { "role": "Co-applicant", "member_id": 100005, "last_name": "Jacobs", "degree_pre_nominal": "prof. dr.", "initials": "B.P.F.", "first_name": "Bart", "organisation": "Radboud Universiteit Nijmegen||Faculteit der Natuurwetenschappen, Wiskunde en Informatica||Institute for Computing and Information Sciences (ICIS)", "organisation_id": 79553, "ror": "https://ror.org/016xsfp80", "active": true }, { "role": "Co-applicant", "member_id": 94502, "last_name": "Moerdijk", "degree_pre_nominal": "prof. dr.", "initials": "I.", "first_name": "Ieke", "organisation": "Radboud Universiteit Nijmegen||Faculteit der Natuurwetenschappen, Wiskunde en Informatica||Institute for Mathematics, Astrophysics and Particle Physics (IMAPP)||Algebra & Logica", "organisation_id": 76763, "ror": "https://ror.org/016xsfp80", "active": true }, { "role": "Project leader", "member_id": 101004, "last_name": "Landsman", "degree_pre_nominal": "prof. dr.", "initials": "N.P.", "first_name": "Klaas", "organisation": "Radboud Universiteit Nijmegen||Faculteit der Natuurwetenschappen, Wiskunde en Informatica||Institute for Computing and Information Sciences (ICIS)", "organisation_id": 79553, "ror": "https://ror.org/016xsfp80", "active": true }, { "role": "Main Applicant", "member_id": 101004, "last_name": "Landsman", "degree_pre_nominal": "prof. dr.", "initials": "N.P.", "first_name": "Klaas", "organisation": "Radboud Universiteit Nijmegen||Faculteit der Natuurwetenschappen, Wiskunde en Informatica||Institute for Mathematics, Astrophysics and Particle Physics (IMAPP)", "organisation_id": 73889, "ror": "https://ror.org/016xsfp80", "active": true } ], "products": [ { "title": "The expectation monad in quantum foundations", "year": 2016, "edition": "250", "start": 87, "end": 114, "type": "Wetenschappelijk artikel", "journal_title": "Information and Computation", "authors": [ { "last_name": "Jacobs", "initials": "B.", "first_name": "Bart", "role": "Auteur" }, { "last_name": "Mandemaker", "initials": "J.J.", "role": "Auteur" }, { "last_name": "Furber", "initials": "R.", "role": "Auteur" } ] }, { "title": "C(A)", "year": 2016, "edition": "2016", "type": "Proefschrift", "url_open_access": "http://repository.ubn.ru.nl/handle/2066/158429", "journal_title": "Radboud Repository", "isbn": "978-94-028-0182-8", "city": "Nijmegen", "authors": [ { "last_name": "Lindenhovius", "initials": "A.J.", "first_name": "Bert", "role": "Auteur" } ] }, { "title": "Categorical characterizations of operator-valued measures\nVolume 171 Electronic Proceedings in Theoretical Computer Science", "sub_title": "Volume 171 Electronic Proceedings in Theoretical Computer Science", "year": 2014, "edition": "2014", "start": 132, "end": 144, "type": "Productbijdrage", "url_open_access": "10.4204/EPTCS.171.12\n\nhttps://arxiv.org/abs/1412.8528v1", "journal_title": "Electronic Proceedings in Theoretical Computer Science", "authors": [ { "last_name": "Coecke", "initials": "B.", "first_name": "Bob", "role": "Editor" }, { "last_name": "Roumen", "initials": "F.", "first_name": "Frank", "role": "Auteur" } ] }, { "title": "Domains of Commutative C*-Subalgebras\nProceedings", "sub_title": "Proceedings", "year": 2016, "edition": "2016", "start": 450, "end": 461, "type": "Productbijdrage", "url_open_access": "http://ieeexplore.ieee.org/document/7174903/?reload=true", "journal_title": "IEEE", "city": "Los Alamitos", "authors": [ { "last_name": "Heunen", "initials": "C.", "first_name": "Chris", "role": "Auteur" }, { "last_name": "Lindenhovius", "initials": "A.J.", "role": "Auteur" } ] }, { "title": "Effect Algebroids", "year": 2017, "edition": "2017", "type": "Proefschrift", "url_open_access": "http://repository.ubn.ru.nl", "journal_title": "Radboud Repository", "city": "Nijmegen", "authors": [ { "last_name": "Roumen", "initials": "F.", "first_name": "Frank", "role": "Auteur" } ] }, { "title": "Cohomology of Effect Algebras", "year": 2016, "type": "Overige Output", "url_open_access": "https://arxiv.org/abs/1602.00567", "authors": [ { "last_name": "Roumen", "initials": "F.", "first_name": "Frank", "role": "Maker" } ] }, { "title": "Duality for Convex Monoids", "year": 2016, "edition": "10", "start": 1, "end": 14, "type": "Wetenschappelijk artikel", "url_open_access": "http://link.springer.com/article/10.1007/s11083-016-9404-1", "journal_title": "Order", "authors": [ { "last_name": "Roy", "initials": "S.", "first_name": "Sutanu", "role": "Auteur" }, { "last_name": "Roumen", "initials": "F.", "role": "Auteur" } ] }, { "title": "Classifying Finite-Dimensional C*-Algebras by Posets of Their Commutative C*-Subalgebras ?", "year": 2015, "edition": "54", "start": 4615, "end": 4635, "type": "Wetenschappelijk artikel", "url_open_access": "http://link.springer.com/article/10.1007%2Fs10773-015-2817-6", "journal_title": "International Journal of Theoretical Physics", "authors": [ { "last_name": "Lindenhovius", "initials": "A.J.", "role": "Auteur" } ] }, { "title": "Categorical Duality in Probability and Quantum Foundations", "year": 2016, "type": "Overige Output", "authors": [ { "last_name": "Furber", "initials": "R.", "role": "Maker" } ] }, { "title": "Quantization via Linear homotopy types", "year": 2014, "type": "Overige Output", "url_open_access": "https://arxiv.org/abs/1402.7041", "authors": [ { "last_name": "Schreiber", "initials": "U.", "role": "Maker" } ] } ] } ] }