dc.rights.license | CC-BY-NC-ND | |
dc.contributor.advisor | Bacciagaluppi, Guido | |
dc.contributor.author | Hellinga, Menno | |
dc.date.accessioned | 2024-02-23T00:01:01Z | |
dc.date.available | 2024-02-23T00:01:01Z | |
dc.date.issued | 2024 | |
dc.identifier.uri | https://studenttheses.uu.nl/handle/20.500.12932/46052 | |
dc.description.abstract | Abramsky and Coecke’s categorical quantum mechanics (Cat-QM) is an enticing start to what might one day be a reaxiomatisation of quantum mechanics. Unfortunately, most of its applications have been in the realm of technology, not philosophy. We examine Cat-QM from a philosopher’s point of view, and ask what it can do for quantum foundations. We show that applying the methods of Cat-QM to classical mechanics leads to a categorically formulated quantum-classical distinction, and take some steps in justifying its principles. Since most philosophers of physics are unfamiliar with category theory, we also provide an introduction to 2-category theory, written
for this audience. | |
dc.description.sponsorship | Utrecht University | |
dc.language.iso | EN | |
dc.subject | Applications of category theory to quantum and classical mechanics; includes an introduction to 2-category theory. | |
dc.title | (No) Categorical Semantics for Classical Protocols | |
dc.type.content | Master Thesis | |
dc.rights.accessrights | Open Access | |
dc.subject.keywords | category theory;quantum mechanics;classical mechanics;classical statistical mechanics;Koopman-Von Neumann mechanics;categorical quantum mechanics;philosophy of science;philosophy of physics;2-categories;monoidal categories;dagger symmetric monoidal categories;strongly compact closed categories;quantum teleportation;quantum foundations | |
dc.subject.courseuu | History and Philosophy of Science | |
dc.thesis.id | 28366 | |